作者yauhh (哟)
看板logic
标题Re: [请益] 为何"若p则q" 等价非p或q"???
时间Mon Nov 10 19:46:58 2008
※ 引述《whitefur (白毛)》之铭言：
: 最近在念离散数学第一章
: 一直搞不懂为什麽"若p则q" 等价 "非p或q"?
: 只是硬把他记下来而已
: 还有为什麽p q 只要有其中一个是true的话 p或q 就是true?
: p q 皆为true p且q 才是true?
: 谢谢解答 感恩:)
p or q 和 p and q 是最基本的语义,规定就是那样子,也符合直觉.
p -> q 说是与 not p or q 同义,是恰好二者可以在语义上互为描述.
p q p -> q
-----------+----------
T T T
T F F
F T T
F
TF T
嗯,打错了
先看下半段, not p 的情况都使 p -> q 成立, 而 p 的情况则 p -> q 的成立与
q 相同. p -> q 的语义可以说是,可以是 not p 成立,不然可以是 q 成立,
於是 not p or q.
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.160.115.114
1F：→ whitefur:解释得很好，谢谢你，我懂了。还有下半段打错了 11/10 19:59
2F：→ whitefur:有其中一个要改成F T 才对 11/10 20:00
3F：推 shtmn:W大你才搞错了... = = 11/10 20:21
※ 编辑: yauhh 来自: 218.160.115.114 (11/10 22:51)
4F：推 whitefur:嗯= = SORRY 11/10 23:01