FICHA DE TRABALHO 2 – Formas de inferência válidas

A lógica proposicional permite identificar e reconhecer que determinados argumentos que

têm certas formas lógicas são válidos, independentemente do seu conteúdo.

— Duas formas de inferência válidas muito usadas na argumentação são o modus ponens e o
modus tollens.
1. Identifique qual das inferências é modus tollens e um modus ponens.
2. Coloque em linguagem formal cada uma das inferências utilizando como letras para
variáveis Q, P.

a) b)
Se o João andar, então move-se. Se o João andar, então move-se.
O João move-se. O João não se move.
Logo, o João anda. Logo, o João não anda.

— Outras duas formas válidas são as do silogismo disjuntivo e silogismo hipotético

Silogismo disjuntivo Silogismo hipotético

PVQ PVQ P→Q
¬P ou ¬Q Q→R
∴Q ∴P ∴P→R

3. Identifique qual dos silogismos seguintes é um silogismo disjuntivo e um silogismo

hipotético.
4. Coloque em linguagem formal cada um dos silogismos utilizando as letras P, Q, R,
etc.

a) António é culpado se João é culpado, a não ser que Pedro esteja envolvido. Mas Pedro
não está envolvido. Por isso, se João é culpado, António também é culpado.

©PLÁTANO EDITORA 2020 |FILOSOFIA 10

 b) Se Zaca é um cão, então não gosta de gatos e gosta de caçar pássaros. Se tem estes
gostos, não é bom ter outros animais em casa. Por isso, se Zaca é um cão, então não é
bom ter outros animais em casa.

SOLUÇÕES

1. A inferência a) é um modus ponens. A inferência b) é um modus tollens.

2. a) Q → P b) Q → P
Q ¬P
∴P ∴ ¬Q

3. a) É um silogismo disjuntivo e b) é um silogismo hipotético

4. a) P = António é culpado. b) P = Zaca é um gato.

Q = João é culpado. Q = Zaca gosta de gatos.
R = Pedro está envolvido. R = Zaca gosta de caçar pássaros.
(P → Q) V C S = É bom ter outros animais em casa.
¬C P → (¬Q ∧ R)
∴Q→P (¬Q ∧ R) → ¬S
∴ P → ¬S

©PLÁTANO EDITORA 2020 |FILOSOFIA 10