看板 [ logic ]
討論串[請益] 為何"若p則q" 等價非p或q"???
共 8 篇文章
首頁
上一頁
1
2
下一頁
尾頁

推噓3(3推 0噓 2→)留言5則,0人參與, 最新作者ivanos (Peel quickly and see)時間17年前 (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

推噓2(2推 0噓 2→)留言4則,0人參與, 最新作者yauhh (喲)時間17年前 (2008/11/10 19:47), 編輯資訊
0
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個字)

推噓4(4推 0噓 3→)留言7則,0人參與, 最新作者whitefur (白毛)時間17年前 (2008/11/10 13:57), 編輯資訊
0
0
0
內容預覽:
最近在唸離散數學第一章. 一直搞不懂為什麼"若p則q" 等價 "非p或q"?. 只是硬把他記下來而已. 還有為什麼p q 只要有其中一個是true的話 p或q 就是true?. p q 皆為true p且q 才是true?. 謝謝解答 感恩:). --. 發信站: 批踢踢實業坊(ptt.cc).
首頁
上一頁
1
2
下一頁
尾頁