Segundo a lógica tradicional, conhecida como a lógica formal aristotélica, a análise da validade dos silogismos pode ser feita por meio do uso de regras. O silogismo que se segue é reconhecidamente um argumento cuja forma é inválida porque desrespeita uma dessas regras. Eis o silogismo:
Todas as cobras são répteis. Algumas cobras não são animais perigosos. Logo, alguns animais perigosos não são répteis.
Sobre a invalidade da forma do silogismo dado, assinale a alternativa CORRETA:
-
A É inválida porque infringe a regra: “o termo médio não pode entrar na conclusão”.
-
B É inválida porque infringe a regra: “nunca na conclusão os termos podem ter extensão maior que nas premissas”.
-
C É inválida porque infringe a regra: “a conclusão segue sempre a menor ou mais fraca premissa”.
-
D É inválida porque infringe a regra: “o termo médio deve ser universal pelo menos uma vez”.