Admitindo‑se que a proposição “A vaca é amarela se, e somente se, o jacaré é verde” é verdadeira e que a proposição “Se o jacaré não é verde, então o pavão é azul” é falsa, julgue

Gabarito

Errado

Comentário do professor

Avalie a segunda proposição: "Se o jacaré não é verde, então o pavão é azul". Um condicional falso ocorre somente quando o antecedente é verdadeiro e o consequente é falso. Formalmente, \( \neg J \to P\) é falsa iff \( \neg J\) é V e \(P\) é F.

Portanto concluímos que \( \neg J\) é verdadeiro, isto é, o jacaré não é verde, e que o pavão não é azul.

A primeira proposição, \(V \leftrightarrow J\), é uma bicondicional verdadeira, o que apenas estabelece que a vaca é amarela exatamente quando o jacaré é verde. Como já obtivemos \(J\) falso, segue que a vaca também não é amarela.

Logo, a afirmação "O jacaré é verde" é falsa, justificando o julgamento ERRADO.