假設 P，P ⇒ Q 及 Q ⇒ R，但同時 ~R。那麼我們

P﹐P ⇒ Q 及 Q ⇒ R 和 ~R 是 T

R是F => Q是F。因若不然﹐Q是T而R是F則 Q ⇒ R也是F﹐矛盾。

因此~Q是T。

Since ~R is true. Then, the contrapositive of Q ⇒ R is ~R ⇒ ~Q.

Then, we can get ~Q.

可以 ok !! 可以求出 ~Q