爆発律：p, ¬p ⊨ q は妥当か？

p と ¬p からは何でも従います。両方の前提を真にする割り当てが存在しないため、前提が真で結論が偽になることもありません。

妥当p, ¬p ⊨ q

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