選言三段論法：p∨q, ¬p ⊨ q は妥当か？

選言は少なくとも一方が真である必要があるので、p ∨ q と ¬p からは q が残ります。一方を排除すれば他方が立ちます。