推 Desperato : 這什麼神奇的東西 07/02 08:27
可以用計算的方式
假設 1 代表 true, 0 代表 false
value(邏輯式子, 變數的值) 代表一個邏輯式子的真假值
注意在這樣的情況下,
value(P->Q, X) = [ value(P, X) <= value(Q, X) ]
(假設 [ e ] 計算的結果是 1 若 e 成立, 0 若 e 不成立
已知前提 value(P, X) = value(P->Q, X)
則
value(P, X) = [ value(P, X) <= value(Q, X) ]
value(P, X) = 1 => 1 = [ 1 <= value(Q, X) ] => value(Q, X) = 1
value(P, X) = 0 => 0 = [ 0 <= value(Q, X) ] => 0 > value(Q, X) (矛盾)
※ 引述《jouen (呵呵)》之銘言：
: 今天John說了兩句話，兩句要就都是實話(case1)，不然就都是謊話(case2)
: I love Mary .
: If I love Mary , then I also love Sandy .
: 請問John 是否愛 Mary ? 是否愛Sandy?
: -------------------------------------------------------
: case1很明顯，John兩個都愛。
: 但我有疑問的地方是case2，兩個都是謊話，所以
: P(love Mary) => F
: P(love Mary)-> Q(love Sandy) => F
: 如果第一句是F，第二句的P也代入F，那Q不管是T或F都沒辦法讓第二句本身為F
: 所以在case2 John 到底愛不愛Sandy?? 還是case2本身就沒辦法成立呢?
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 165.124.144.216
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1498930413.A.F2B.html