A frase “Não é verdade que: Carlos é advogado ou Maria é dentista”, é logicamente equivalente a frase:

Gabarito

A

Comentário do professor

A expressão "Não é verdade que: Carlos é advogado ou Maria é dentista" introduz uma negação sobre a proposição que segue. Essa proposição é uma disjunção do tipo \(P \lor Q\), onde \(P\): "Carlos é advogado" e \(Q\): "Maria é dentista".

Pela lei de De Morgan, a negação de uma disjunção transforma-se na conjunção das negações: \( \neg(P \lor Q) \equiv (\neg P) \land (\neg Q)\).

Aplicando aqui: negamos cada parte — Carlos não é advogado e Maria não é dentista — e trocamos o conectivo ou por e. Assim, a frase é logicamente equivalente a Carlos não é advogado e Maria não é dentista.