Questão de Raciocínio Lógico Matemático · FGV AGENERSA 2023 (nº 16)

Uma disjunção (sentença com 'ou') só é falsa quando todas as proposições que a compõem são falsas. Se uma sentença é falsa, podemos deduzir o valor-verdade de suas partes.

A sentença "Paulo não é louro ou Margarida é morena" é falsa.
Para que uma disjunção seja falsa, ambas as proposições devem ser falsas:

1. "Paulo não é louro" é falsa. Isso significa que "Paulo é louro" é verdadeira.
2. "Margarida é morena" é falsa. Isso significa que "Margarida não é morena" é verdadeira.

Portanto, sabemos que:

• Paulo é louro (Verdadeiro)
• Margarida não é morena (Verdadeiro)

Agora, vamos analisar as alternativas:

(A) Incorreta: "Paulo é louro e Margarida é morena." (Verdadeiro e Falso) = Falso.
(B) Incorreta: "Paulo não é louro e Margarida não é morena." (Falso e Verdadeiro) = Falso.
(C) Incorreta: "Paulo não é louro e Margarida é morena." (Falso e Falso) = Falso.
(D) Incorreta: "Se Paulo é louro, então Margarida é morena." (Se Verdadeiro, então Falso) = Falso. Armadilha da banca: Esta é uma implicação, e muitos podem se confundir com a equivalência lógica entre $P \to M$ e $\neg P \lor M$. No entanto, a implicação $P \to M$ é falsa quando o antecedente ($P$) é verdadeiro e o consequente ($M$) é falso, que é exatamente o caso aqui. Portanto, esta alternativa não é uma conclusão correta.
(E) Correta: "Se Margarida não é morena, então Paulo é louro." (Se Verdadeiro, então Verdadeiro) = Verdadeiro.