Considere a sentença: “Corro e não me canso”. Sua negação lógica é:

Gabarito

Errado

Comentário do professor

Seja \(P\): Corro e \(Q\): me canso. A sentença “Corro e não me canso” é formalmente \(P \wedge \neg Q\).

Aplicando a regra de De Morgan para negar uma conjunção, obtemos: \( \neg(P \wedge \neg Q) \equiv \neg P \vee Q\).

Traduzindo para o português, \( \neg P \vee Q\) corresponde a “Não corro ou me canso”, que é justamente a negação da frase dada.

Intuitivamente, quando a afirmação original é verdadeira (corro e não me canso), a negação deve ser falsa; nas demais combinações de verdade, a negação é verdadeira — comportamento capturado por \( \neg P \vee Q\).