否定后件：p→q, ¬q ⊨ ¬p 有效吗？

若 p → q 成立且 q 为假，则 p 必为假：任何使 p 为真的情形都会使 q 为真。否定后件即否定前件。