作者aletheia (cOnJeCTuRe)
看板logic
标题Re: [请益] 为何"若p则q" 等价非p或q"???
时间Tue Nov 11 00:44:51 2008
※ 引述《whitefur (白毛)》之铭言：
: 最近在念离散数学第一章
: 一直搞不懂为什麽"若p则q" 等价 "非p或q"?
: 只是硬把他记下来而已
: 还有为什麽p q 只要有其中一个是true的话 p或q 就是true?
: p q 皆为true p且q 才是true?
: 谢谢解答 感恩:)
P->Q 等价 ~PvQ
等价就是右方可以变成左方 左方也可以变成右方
先看右往左 这比较没问题
你可以把右边想成是 ~(P and ~Q)
这样就比较好懂
左往右的话 有各想法讲一下
通常我们认为 AvB, B->C 就会AvC
这样的论证蛮常看到的
像是小八可能偷蛋或着没偷蛋,但偷蛋表示做了坏事,所以他要吗做坏事或着没偷蛋
如果我们接受~PvP
那麽 ~PvP, P->Q 就会~PvQ
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.143.99