选言三段论：p∨q, ¬p ⊨ q 有效吗？

析取至少要有一侧为真，所以 p ∨ q 加上 ¬p 就留下 q。排除一个析取支，另一个便成立。