作者MathTurtle (恩典)
看板logic
标题Re: [请益] 为何"若p则q" 等价非p或q"???
时间Mon Nov 10 23:00:02 2008
: ※ 引述《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)