推 yuchiao0921 :懂了 謝謝 03/12 03:31
→ MOONY135 :q \/ r is false 大概是長什麼樣子阿? 03/12 08:53
→ MOONY135 :喔 大概懂了 符號上而已 03/12 08:54
不用畫 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