→ whitefur:解釋得很好，謝謝你，我懂了。還有下半段打錯了 11/10 19:59
→ whitefur:有其中一個要改成F T 才對 11/10 20:00
推 shtmn:W大你才搞錯了... = = 11/10 20:21
※ 編輯: yauhh 來自: 218.160.115.114 (11/10 22:51)
推 whitefur:嗯= = SORRY 11/10 23:01
※ 引述《whitefur (白毛)》之銘言：
: 最近在唸離散數學第一章
: 一直搞不懂為什麼"若p則q" 等價 "非p或q"?
: 只是硬把他記下來而已
: 還有為什麼p q 只要有其中一個是true的話 p或q 就是true?
: p q 皆為true p且q 才是true?
: 謝謝解答 感恩:)
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
嗯,打錯了
先看下半段, not p 的情況都使 p -> q 成立, 而 p 的情況則 p -> q 的成立與
q 相同. p -> q 的語義可以說是,可以是 not p 成立,不然可以是 q 成立,
於是 not p or q.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.160.115.114