Re: [離散] 邏輯
不用畫 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
推
03/12 03:31, , 1F
03/12 03:31, 1F
→
03/12 08:53, , 2F
03/12 08:53, 2F
→
03/12 08:54, , 3F
03/12 08:54, 3F
討論串 (同標題文章)