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

看板logic作者 (cOnJeCTuRe)時間15年前 (2008/11/11 00:44), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串5/8 (看更多)
※ 引述《whitefur (白毛)》之銘言: : 最近在唸離散數學第一章 : 一直搞不懂為什麼"若p則q" 等價 "非p或q"? : 只是硬把他記下來而已 : 還有為什麼p q 只要有其中一個是true的話 p或q 就是true? : p q 皆為true p且q 才是true? : 謝謝解答 感恩:) P->Q 等價 ~PvQ 等價就是右方可以變成左方 左方也可以變成右方 先看右往左 這比較沒問題 你可以把右邊想成是 ~(P and ~Q) 這樣就比較好懂 左往右的話 有各想法講一下 通常我們認為 AvB, B->C 就會AvC 這樣的論證蠻常看到的 像是小八可能偷蛋或著沒偷蛋,但偷蛋表示做了壞事,所以他要嗎做壞事或著沒偷蛋 如果我們接受~PvP 那麼 ~PvP, P->Q 就會~PvQ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.143.99
文章代碼(AID): #1966K6z4 (logic)
討論串 (同標題文章)
文章代碼(AID): #1966K6z4 (logic)