Considere a afirmação: “João não trabalha e Maria fica em casa.” A negação dessa afirmação é:

Gabarito

D

Comentário do professor

A afirmação original "João não trabalha e Maria fica em casa" pode ser representada como \( \neg J \wedge M \), onde \(J\) = "João trabalha" e \(M\) = "Maria fica em casa".

Para obter a negação, aplicamos a lei de De Morgan: negar uma conjunção equivale a negar cada componente e trocar ∧ por ∨. Assim:

\( \neg(\neg J \wedge M) \equiv J \vee \neg M \).

Em linguagem natural, isso significa: "João trabalha ou Maria não fica em casa". Intuitivamente, para que a frase original seja falsa basta que pelo menos uma das partes seja falsa — ou João trabalha, ou Maria não fica em casa (ou ambos).