A negação da proposição composta “Ana é motorista ou Carlos é juiz”, é dada pela proposição:

Gabarito

D

Comentário do professor

Disjunção: a proposição composta é "Ana é motorista ou Carlos é juiz", que em lógica simbólica pode ser representada por \(p \vee q\), com \(p\): Ana é motorista e \(q\): Carlos é juiz.

Negações: negar uma proposição significa afirmar o oposto de cada parte. A negação de \(p\) é \(\neg p\): Ana não é motorista. A negação de \(q\) é \(\neg q\): Carlos não é juiz.

Regra de De Morgan: a negação de uma disjunção obedece à equivalência \(\neg(p \vee q) \equiv \neg p \wedge \neg q\). Ou seja, quando negamos "p ou q", devemos negar cada termo e trocar o conectivo "ou" por "e".

Aplicando isso obtemos: Ana não é motorista e Carlos não é juiz, que é a forma correta da negação da proposição inicial.