逆否命题：p→q ⊨ ¬q→¬p 有效吗？

p → q 与 ¬q → ¬p 说的是同一件事：不可能前件为真而后件不成立。蕴涵与其逆否命题等值。