看板 [ logic ]
討論串[請益] 為何"若p則q" 等價非p或q"???
共 8 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
2
下一頁
尾頁
#1
[請益] 為何"若p則q" 等價非p或q"???
推噓4(4推 0噓 3→)留言7則，0人參與, 最新作者whitefur (白毛)時間15年前 (2008/11/10 13:57), 編輯資訊
3
0
0
內容預覽:
最近在唸離散數學第一章. 一直搞不懂為什麼"若p則q" 等價 "非p或q"?. 只是硬把他記下來而已. 還有為什麼p q 只要有其中一個是true的話 p或q 就是true?. p q 皆為true p且q 才是true?. 謝謝解答 感恩:). --. ※ 發信站: 批踢踢實業坊(ptt.cc).
#2
Re: [請益] 為何"若p則q" 等價非p或q"???
推噓2(2推 0噓 2→)留言4則，0人參與, 最新作者yauhh (喲)時間15年前 (2008/11/10 19:47), 編輯資訊
2
0
0
內容預覽:
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. 嗯
(還有82個字)
#3
Re: [請益] 為何"若p則q" 等價非p或q"???
推噓3(3推 0噓 2→)留言5則，0人參與, 最新作者ivanos (Peel quickly and see)時間15年前 (2008/11/10 22:36), 編輯資訊
0
0
0
內容預覽:
p -> q (Material Implication) is logically equivalent to ~(p·~q).. ~(p·~q) is logically equivalent to ~p v q.. So p -> q is logically equivalent to ~p
#4
Re: [請益] 為何"若p則q" 等價非p或q"???
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者MathTurtle (恩典)時間15年前 (2008/11/10 23:00), 編輯資訊
0
0
0
內容預覽:
當然這並不太符合很多人的直覺,. 特別是如果用日常語言去想 'if' 和 'or'. 'if'常常會有strict implication的蘊含,. 'or'也常會有excusive or的蘊含。. 不過你可以用真值表中的「定義」去說服自己,. 或是用推論規則 (MP + deductive the
#5
Re: [請益] 為何"若p則q" 等價非p或q"???
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者aletheia (cOnJeCTuRe)時間15年前 (2008/11/11 00:44), 編輯資訊
0
0
0
內容預覽:
P->Q 等價 ~PvQ. 等價就是右方可以變成左方 左方也可以變成右方. 先看右往左 這比較沒問題. 你可以把右邊想成是 ~(P and ~Q). 這樣就比較好懂. 左往右的話 有各想法講一下. 通常我們認為 AvB, B->C 就會AvC. 這樣的論證蠻常看到的. 像是小八可能偷蛋或著沒偷蛋,但
首頁
上一頁
1
2
下一頁
尾頁