Formas de inferência válida

Lógica formal (Lógica proposicional)

ESPL / Filosofia Professora: Rosa Alice Ri

o
 Formas de inferência válida
Vamos ver agora algumas das formas de inferência valida mais comuns: modus
ponens, modus tollens, silogismo hipotético e silogismo disjuntivo.
Começamos pelo modus ponens e pelo modus tollens.
 Modus ponens Modus tollens
P→Q P→Q
P ￢Q
∴Q ∴￢ P
 Um exemplo de modus ponens pode ser o seguinte:

Se tenho carta de condução, então posso conduzir.

Tenho carta de condução.
Logo, posso conduzir.
 Formas de inferência válida
Para exemplificar um argumento modus tollens, pode referir-se:
Se já tiver 18 anos de idade, então posso votar.
Não posso votar.
Logo, não tenho 18 anos de idade.
 O silogismo hipotético pode ser expresso desta forma:
P→Q
Q→R
∴P→R
Um exemplo desta forma de silogismo é: Se ingerir um antibiótico, então fico
curado. Se fico curado, então já posso praticar desporto. Logo, se ingerir um
antibiótico, então já posso praticar desporto.
 Formas de inferência válida

No que se refere ao silogismo disjuntivo, podemos formula-lo nos seguintes

termos:
 Silogismo disjuntivo
PVQ OU PVQ
￢Q ¬P
∴P ∴Q
 Para exemplificar a forma silogística à esquerda, pode dizer-se: Vou à piscina
ou vou à praia. Não vou à piscina. Logo, vou à praia.
 E à direita: Vou à piscina ou vou à praia. Não vou à praia. Logo, vou à piscina.
 Principais falácias formais

Concluiremos esta secção de lógica formal apresentando duas formas de inferência

inválidas, duas falácias formais.
As falácias são formas argumentativas que parecem válidas, mas que não são.
As duas falácias seguintes, tem formas semelhantes ao modus ponens e ao modus
tollens, respetivamente, mas são formas de inferência inválidas.
Afirmação do consequente (FAC) Negação do antecedente (FNA)
P→Q P→Q
Q ￢P
∴ P ∴¬ Q
Como exemplo da primeira falácia temos: Se estou em Viana do Castelo, então
estou no Minho. Estou no Minho. Logo, estou em Viana do Castelo.
E a exemplificar a negação da antecedente: Se estou em Viana do Castelo, então
 Formas de inferência válida – Exercícios

Avalia a validade e identifica a forma de inferência de cada um dos argumentos seguintes:

a) Se a Lassie é um cão, então é um mamífero. A Lassie é um mamífero. Logo, é um cão.

b) Se os Depeche Mode são uma banda synth-pop, então tem na eletrónica a essência do seu som.

Os Depeche Mode não têm na eletrónica a essência do seu som. Logo, não são uma banda
synthpop.

c) Se o despertador tocasse, então eu chegaria pontualmente às aulas. Mas o despertador não

toca. Logo, eu não chego pontualmente às aulas.

d) Avisei-te que, se me ligasses em agosto, estaria de férias. Ligaste-me em agosto. Logo, estava de
férias.