Lagen om det uteslutna tredje: är ⊨ p∨¬p giltigt?

p ∨ ¬p är sann i varje rad och kräver ingen premiss alls: varje påstående är sant eller falskt, utan någon tredje möjlighet.

Giltigt⊨ p∨¬p

Varje gren i tablån sluts, så ingenting gör premisserna sanna och slutsatsen falsk samtidigt.