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

誤謬です。p → q は p が偽のときについて何も述べないので、¬p があっても q は定まりません。下の開いた枝は p が偽で q が真の場合を示します。