前件肯定：p→q, p ⊨ q は妥当か？

p → q が成り立ち p が真なら q が従います。前件肯定はほとんどの証明が頼る規則で、下のタブローはすべての枝が閉じます。