[請益] 為何"若p則q" 等價非p或q"???

看板logic作者 (白毛)時間15年前 (2008/11/10 13:57), 編輯推噓4(4推 0噓 3→)
留言7則, 5人參與, 最新討論串1/8 (看更多)
最近在唸離散數學第一章 一直搞不懂為什麼"若p則q" 等價 "非p或q"? 只是硬把他記下來而已 還有為什麼p q 只要有其中一個是true的話 p或q 就是true? p q 皆為true p且q 才是true? 謝謝解答 感恩:) -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.119.27.82
推
11/10 17:32, , 1F
1.畫畫真假值表
11/10 17:32, 1F
推
11/10 17:50, , 2F
p或q = p or q 其中一個是true就是true
11/10 17:50, 2F
→
11/10 17:51, , 3F
p且q = p and q 要兩個都是true才會是true
11/10 17:51, 3F
→
11/10 19:58, , 4F
兩個人都沒回答到我的問題…
11/10 19:58, 4F
推
11/10 20:09, , 5F
這就是 "或" 跟 "且" 的定義本身嗎
11/10 20:09, 5F
推
11/10 22:34, , 6F
p或q 和 p且q 是定義吧 "若p則q"等價"非p或q"是可以證明
11/10 22:34, 6F
→
11/10 22:36, , 7F
ㄜ 我慢了一步XD
11/10 22:36, 7F
‣ 更多 whitefur 的文章
文章代碼(AID): #195yr6Kh (logic)
討論串 (同標題文章)
以下文章回應了本文 (最舊先)：
完整討論串 (本文為第 1 之 8 篇)：
排序： 最舊先 | 最新先 | 留言數
在新視窗開啟完整討論串 (共8篇)
‣ 更多 whitefur 的文章
文章代碼(AID): #195yr6Kh (logic)