Re: [請益] 真值表的判斷
※ 引述《Noelyuan (療傷中)》之銘言：
: Ａ Ｂ│Ａ→Ｂ
: Ｔ Ｔ Ｔ
: Ｔ Ｆ Ｆ
: Ｆ Ｔ Ｔ
: Ｆ Ｆ Ｔ
: 請問一下最後一行是怎麼判斷的，如果是ＡˇＢ；Ａ˙Ｂ好像可以用圖示判斷
: 那if then的模式要怎麼判斷？
: 還是這是規定的運算符？
我用 !A 代表 A 的相反邏輯
亦即是說 A 錯，!A 就對；反之亦然。
在數學的邏輯中，我們假設 A 或 !A 存在且只有一個是對的，
這個假設在現實生活並不成立，但數學也只能處理成立的情況。
然後 A->B 會等價於 !B->!A，
假設 A 和 B 是 T，則 A->B 也是 T，所以 !B->!A 也是 T，而 !B 和 !A 都是 F。
把上述的証明反過來，就會得到當 A 和 B 是 F，則 A->B 是 T。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.115.25.21
※ 編輯: bombduck 來自: 140.115.25.21 (03/28 09:31)
※ 編輯: bombduck 來自: 140.115.25.21 (03/28 09:33)
推
140.121.91.115 04/19, , 1F
140.121.91.115 04/19, 1F
討論串 (同標題文章)