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

A segunda proposição, “Se o jacaré não é verde, então o pavão é azul”, é um condicional falso. Um condicional só é falso quando o antecedente é verdadeiro e o consequente é falso. Escrevendo \( \neg J \rightarrow P\) e admitindo falsidade, temos \( \neg J = V\) e \(P = F\). Logo \(J = F\).

A primeira proposição é um bicondicional verdadeiro: \(A \leftrightarrow J\) (A = “a vaca é amarela”, J = “o jacaré é verde”). Um bicondicional verdadeiro exige que ambos os lados tenham o mesmo valor lógico. Como \(J = F\), segue que \(A = F\).

Portanto a afirmação “A vaca é amarela” é falsa, justificando o julgamento ERRADO.