Segundo as Leis de Morgan, a negação lógica da proposição “Ana é pedagoga e Antônio não é dentista” é:

Gabarito

Errado

Comentário do professor

"Ana é pedagoga e Antônio não é dentista" é uma sentença do tipo conjunção, pois une duas afirmações por "e".

Sejam \(P\): "Ana é pedagoga" e \(Q\): "Antônio não é dentista".

Pela lei de De Morgan, a negação de uma conjunção obedece à fórmula \( \neg(P \land Q) \equiv \neg P \lor \neg Q \).

Aplicando: \(\neg P\) é "Ana não é pedagoga".

Como \(Q\) é "Antônio não é dentista", sua negação \(\neg Q\) é "Antônio é dentista".

Substituindo e trocando "e" por "ou", a negação completa fica: Ana não é pedagoga ou Antônio é dentista.