LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL

P P QQ

ᴧᴧ

1

P P QQ ᴧᴧ

1. Clarificar o nosso pensamento;

2. Ajudar a evitar erros de raciocínio;

O OBJETO DA LÓGICA (FORMAL)O OBJETO DA LÓGICA (FORMAL)

LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL

3. Distinguir os argumentos corretos dos incorretos;

4. Explicar porque razão esses argumentos são corretos ou incorretos;

5. Aprender a argumentar corretamente e a avaliar argumentos.

ARGUMENTO VÁLIDO/COGENTE/SÓLIDOARGUMENTO VÁLIDO/COGENTE/SÓLIDO

AARGUMENTORGUMENTO VÁLIDOVÁLIDO – quando existe coerência/conexão e relação entre aspremissas e a conclusão (pode haver proposições falsas);

AARGUMENTORGUMENTO COGENTECOGENTE – as premissas têm de ser mais plausíveis (convincentes)

LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL

AARGUMENTORGUMENTO SÓLIDOSÓLIDO – quando, para além de ser válido, todas as proposições(premissas e conclusão) são verdadeiras;

AARGUMENTORGUMENTO COGENTECOGENTE – as premissas têm de ser mais plausíveis (convincentes)do que a própria conclusão. É constituído por várias premissas, é muitodificilmente refutável e está presente nas teorias filosóficas.

8

FORMA LÓGICAFORMA LÓGICA

P v Q

~P

P Q ~P P v Q ~P v Q

V V F V V

INSPECIONEMOSINSPECIONEMOS

LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL

INSPETORES DE CIRCUNSTÂNCIA INSPETORES DE CIRCUNSTÂNCIA ouou TABELAS DE VERDADETABELAS DE VERDADE

13

~P

Q

Argumento VálidoArgumento Válido

V V F V V

V F F V F

F V V V V

F F V F V

LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL

TABELAS DE VERDADE

CONDICIONAL

P Q P → Q

V V V

21

V V V

V F F

F V V

F F V

LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL

FORMAS VÁLIDA & INVÁLIDA

MODUS PONENSMODUS PONENS

P Q

P

FALÁCIAFALÁCIA

P Q

Q

27

P

Q

Q

P

AFIRMAÇÃO DO CONSEQUENTEAFIRMAÇÃO DO CONSEQUENTE