La negació de l'enunciat «si dormo i somni, llavors dormo», és a dir, l'afirmació que «no és veritat que quan dormo i somni, somni», és un enunciat autocontradictori. Ho demostren les taules de veritat: