L'enunciat «si dormo i somni, llavors dormo» és una tautologia, la veritat necessària de la qual es demostra mitjançant les taules de veritat: