Escolha a alternativa que corresponde à negação lógica da proposição: “Ana não é médica e Carlos não é engenheiro”.

Gabarito

Certo

Comentário do professor

“Ana não é médica e Carlos não é engenheiro” é uma proposição na forma de conjunção.

Em linguagem simbólica: \(P=(\neg M_a)\land(\neg E_c)\), onde \(M_a\) = “Ana é médica” e \(E_c\) = “Carlos é engenheiro”.

A negação de \(P\) é \(\neg P=\neg\big((\neg M_a)\land(\neg E_c)\big)\). Aplicando as leis de De Morgan, trocamos a conjunção por disjunção e negamos cada parte.

Assim obtemos \(\neg P = M_a \lor E_c\), que em linguagem natural é: “Ana é médica ou Carlos é engenheiro”.

Note que o “ou” lógico é inclusivo: a negação é verdadeira se pelo menos uma das afirmações for verdadeira (ou ambas).