Sabe-se que a sentença “Paulo não é louro ou Margarida é morena” é falsa. É correto concluir que

Gabarito

Errado

Comentário do professor

Paulo não é louro ou Margarida é morena é dada como falsa. Defina \(P\): Paulo é louro e \(M\): Margarida é morena. A sentença é a disjunção \( \neg P \lor M\), que portanto é falsa.

Tomando a negação dessa disjunção obtemos a conjunção verdadeira: \( \neg(\neg P \lor M) \equiv P \land \neg M\). Assim, temos \(P\) verdadeiro e \(M\) falso — isto é, Paulo é louro e Margarida não é morena.

A alternativa proposta é a implicação \( \neg M \to P\) ("Se Margarida não é morena, então Paulo é louro"). Como da conjunção decorre que \(\neg M\) é verdadeira e \(P\) é verdadeira, a implicação vale: quando o antecedente é verdadeiro, o consequente também é verdadeiro, logo a implicação é verdadeira.

Portanto, a afirmação é logicamente correta.