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

誤謬です。p → q と q があっても p は定まりません。q は p と無関係な理由で成り立ちうるからです。下の開いた枝が反例モデルを与えます。