推 linkidd2 :謝謝 了解了 06/18 16:34
要回答這個問題，首先要先知道「有效推論」的定義：
不可能有前提真，結論假的情況。
因此我們在訂P->Q的時候會希望我們的真值表長這樣：
P Q P->Q
T T T
F T T
T F F <-前提真，結論假，命題假
F F T
p.s. 如有錯誤，還請告知。
--
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.242.15
※ 文章網址: http://www.ptt.cc/bbs/Math/M.1403022519.A.3C4.html