No fim do expediente em uma sexta-feira, Mariano afirmou: “Amanhã eu vou dormir até o meio-dia ou não me chamo Mariano!”. A negação lógica da afirmação de Mariano é a seguinte prop

Gabarito

Certo

Comentário do professor

A frase de Mariano é uma disjunção: "Amanhã eu vou dormir até o meio-dia ou não me chamo Mariano."

Seja \(P\): "Amanhã eu vou dormir até o meio-dia" e \(Q\): "eu me chamo Mariano". A proposição dada é \(P \lor \lnot Q\).

Para negar uma disjunção aplicamos a lei de De Morgan: \(\lnot(P \lor \lnot Q)=\lnot P \land Q\).

Isso equivale a negar cada componente e trocar o conectivo "ou" por "e": "Amanhã eu não vou dormir até o meio-dia e me chamo Mariano."

Portanto, a alternativa correta é exatamente essa forma, que expressa a negação lógica da afirmação original.