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

这是谬误：p → q 加上 q 并不能确定 p，因为 q 可能出于与 p 无关的原因成立。下面的开放分支给出反模型。