Considere-se a proposição abaixo. Maria não é contadora ou João é analista. A negação lógica dessa proposição está corretamente indicada na seguinte opção:

Gabarito

Certo

Comentário do professor

A proposição é uma disjunção: "Maria não é contadora ou João é analista".

Se chamarmos \(p\) = "Maria é contadora" e \(q\) = "João é analista", a sentença dada é \(\neg p \vee q\).

Para negar uma disjunção aplicamos a lei de De Morgan: a negação de \(A \vee B\) é \(\neg A \wedge \neg B\).

Assim, \(\neg(\neg p \vee q)\) equivale a \(\neg(\neg p) \wedge \neg q\), que simplifica para \(p \wedge \neg q\).

Em linguagem natural, isso corresponde a "Maria é contadora e João não é analista", que é exatamente a alternativa correta.