作者xcycl (XOO)
看板Math
标题Re: [离散] 逻辑
时间Sat Mar 12 03:06:12 2011
不用画 truth table, 只要注意
a -> b is false iff b is false and a is true
(令 a = [(p\/q)/\(─p\/r)], b= q \/ r )
则等价於
q \/ r is false and (p\/q)/\(─p\/r) is true
等价於
q, r are false and (p\/q)/\(─p\/r) is true
等价於
q, r are false, and p /\ ─p is true.
但既然 p /\ ─p 总是 false, 则 a -> b is false 不成立。
也就是说 a -> b 是 true。你的 truth table 大概画错了 ...
※ 引述《yuchiao0921 (挑战在我就在)》之铭言：
: 这是我在discrete mathematics and its applications 6th edition p66
: 中间的表格看到的
: [(p\/q)/\(─p\/r)]→(q\/r)
: ps \/=or /\=and ─=not
: 请问这个式子成立吗
: 我画truth table跟上面的式子不合
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 147.188.193.87
1F：推 yuchiao0921 :懂了 谢谢 03/12 03:31
2F：→ MOONY135 :q \/ r is false 大概是长什麽样子阿? 03/12 08:53
3F：→ MOONY135 :喔 大概懂了 符号上而已 03/12 08:54