排中律：⊨ p∨¬p は妥当か？

p ∨ ¬p はすべての行で真であり、前提を一つも必要としません。どの命題も真か偽で、第三の可能性はありません。

妥当⊨ p∨¬p

タブローのすべての枝が閉じるので、前提が真で結論が偽になる割り当ては存在しません。