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: