Qual das proposições abaixo é a NEGAÇÃO lógica da proposição “Se ela te faz feliz, então você não deve deixá-la partir”?

Gabarito

B

Comentário do professor

A proposição original é um condicional: \(a \to \lnot b\), onde \(a\) = ela te faz feliz e \(b\) = você deve deixá-la partir.

Um condicional equivale a uma disjunção: \(a \to \lnot b\) é equivalente a \(\lnot a \lor \lnot b\).

A negação dessa disjunção é \(\lnot(\lnot a \lor \lnot b)\). Aplicando as regras de De Morgan, obtemos \(a \land b\).

Em linguagem natural: Ela te faz feliz
e você deve deixá-la partir. Essa é a negação lógica da proposição dada.