FICHA DE TRABALHO 4 – Forma lógica

Identifique a forma lógica dos seguintes argumentos:

a) O Pedro está em casa, porque ou está na escola ou em casa – mas não está na escola.
b) É falso que o Pedro esteja em casa ou na escola; por isso, não está em casa, nem na
escola.
c) Se o Pedro está em casa, não está na escola. Isto porque, se está em casa, não está no
ginásio; e, se não está no ginásio, não está na escola.
d) O Pedro está a treinar, porque, se está no ginásio, está a treinar.
e) Se o Pedro está no ginásio, não está na escola; por isso, se está na escola, não está no
ginásio.
f) Se o Pedro está no ginásio, não está a estudar; todavia, ele está a estudar; logo, não
está no ginásio.
g) O Pedro não está a divertir-se. Isto porque, se está no ginásio, está a divertir-se. Ora,
ele não está no ginásio.
h) O Pedro está a divertir-se porque está no ginásio. E, se está a divertir-se, está no
ginásio.

SOLUÇÕES

a) Silogismo disjuntivo.
b) De Morgan.
c) Silogismo hipotético.
d) Modus ponens, pressupondo que a premissa «O Pedro está no ginásio» está oculta.
e) Contraposição.
f) Modus tollens.
g) Negação do antecedente.
h) Afirmação do consequente.