後件否定：p→q, ¬q ⊨ ¬p は妥当か？

p → q が成り立ち q が偽なら p も偽です。p を真にするものは q も真にするからです。後件を否定すれば前件が否定されます。