实质蕴涵：p→q ⊨ ¬p∨q 有效吗？

p → q 恰好在 ¬p ∨ q 成立的那些行成立：要么前件不成立，要么后件成立。蕴涵不过是伪装的析取。