Considere a seguinte proposição: Se Helena é casada com Reinaldo e Carmem é filha de Rita, então Joana é irmã de Maurício. A negação lógica dessa proposição está indicada em:

Gabarito

B

Comentário do professor

A frase do enunciado é uma proposição condicional: "Se (Helena é casada com Reinaldo e Carmem é filha de Rita), então Joana é irmã de Maurício".

Chame de \(A\) a parte "Helena é casada com Reinaldo", de \(B\) "Carmem é filha de Rita" e de \(C\) "Joana é irmã de Maurício". Assim a fórmula é \( (A \land B) \to C\).

Um condicional é falso somente quando o antecedente é verdadeiro e o consequente é falso.

Portanto, a negação da condicional exige que o antecedente ocorra e o consequente não: \(A \land B \land \neg C\).

Em linguagem natural: "Helena é casada com Reinaldo e Carmem é filha de Rita e Joana não é irmã de Maurício", que corresponde à alternativa correta.