: ※ 引述《whitefur (白毛)》之銘言：
: : 最近在唸離散數學第一章
: : 一直搞不懂為什麼"若p則q" 等價 "非p或q"?
: : 只是硬把他記下來而已
: : 還有為什麼p q 只要有其中一個是true的話 p或q 就是true?
: : p q 皆為true p且q 才是true?
: : 謝謝解答 感恩:)
當然這並不太符合很多人的直覺,
特別是如果用日常語言去想 'if' 和 'or'
'if'常常會有strict implication的蘊含,
'or'也常會有excusive or的蘊含。
不過你可以用真值表中的「定義」去說服自己,
或是用推論規則 (MP + deductive theorem for 'if', etc.)
來說服自己, 可以幫助自己記得。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 131.111.224.87
※ 編輯: MathTurtle 來自: 131.111.224.87 (11/10 23:05)