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: