Com base na compreensão de estruturas lógicas e na lógica de argumentação, ju...

Vamos entender primeiro um pouco sobre proposições e seus valores lógicos. Quando temos uma proposição do tipo universal afirmativa, como 'Todos os extraterrestres são dinossauros', ela afirma que cada elemento do conjunto dos extraterrestres pertence ao conjunto dos dinossauros.

Se essa proposição é falsa, significa que nem todos os extraterrestres são dinossauros. Em outras palavras, existe pelo menos um extraterrestre que não é dinossauro. Importante destacar que a falsidade de uma proposição universal afirmativa não implica automaticamente a verdade da sua proposição universal negativa (que seria 'Nenhum extraterrestre é dinossauro').

A proposição 'Nenhum extraterrestre é dinossauro' afirma que não existe um extraterrestre que seja dinossauro, o que é uma proposição universal negativa, e é logicamente diferente da negação da afirmativa 'Todos são'. Ou seja, a negação de 'Todos os extraterrestres são dinossauros' é 'Existe pelo menos um extraterrestre que não é dinossauro', e não 'Nenhum extraterrestre é dinossauro'. Portanto, não se pode inferir a segunda proposição a partir da falsidade da primeira.

Conclusão: A afirmação do item está errada.