LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL P P Q ᴧ 1 P P Q ᴧ
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