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:
Algumas cobras não são animais perigosos.
Logo, alguns animais perigosos não são répteis.