Admitindo‑se que as proposições “Algum fantasma é medroso”, “Nenhum zumbi é vegano” e “Todo dragão é poliglota” são verdadeiras, julgue o item a seguir. Nenhum vegano é zumbi.

Gabarito

Certo

Comentário do professor

Sentença universal negativa: a afirmação "Nenhum zumbi é vegano" diz que não existe indivíduo que seja ao mesmo tempo zumbi e vegano, formalmente \( \neg\exists x\,(Z(x)\land V(x))\).

Por equivalência lógica, \( \neg(Z\land V)\) é igual a \( \neg Z\lor\neg V\). Assim, para todo indivíduo vale \( \neg(Z(x)\land V(x))\), que pode ser reescrita como \(Z(x)\to\neg V(x)\) e também como \(V(x)\to\neg Z(x)\).

Logo, a afirmativa "Nenhum zumbi é vegano" implica que os conjuntos de zumbis e de veganos são disjuntos; portanto é verdadeira igualmente a inversa "Nenhum vegano é zumbi". Por isso o item foi julgado CERTO.