Admitindo‑se que a proposição “Todos os objetos verdes contêm clorofila” é falsa e que a proposição “Os olhos de Jacqueline são verdes e Marcelo usa óculos” é verdadeira, julgue o

Gabarito

Errado

Comentário do professor

A sentença “Todos os objetos verdes contêm clorofila” é uma universal afirmativa. Para que ela seja falsa basta a existência de um contraexemplo: um objeto verde que não contenha clorofila.

Logo, da falsidade de \( \forall x\,(V(x)\rightarrow C(x)) \) só se pode concluir que existe pelo menos um caso em que \(V(x)\) e \(\neg C(x)\), isto é, \( \exists x\,(V(x)\land \neg C(x)) \). Em linguagem natural: Algum/pelo menos um objeto verde não contém clorofila.

Não é lógico transformar uma negação existencial em uma negação universal. Portanto, não se pode concluir que “Nenhum objeto verde contém clorofila” é verdadeira. A conjunção sobre Jacqueline e Marcelo é irrelevante para essa inferência.