実質含意：p→q ⊨ ¬p∨q は妥当か？

p → q は ¬p ∨ q が成り立つ行でちょうど成り立ちます。前件が偽か、後件が真かのどちらかです。条件法は装いを変えた選言です。