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 proposição: