作者Jaies (雞肋)
看板logic
標題Re: [請益] 一個我想破頭的題目
時間Mon Nov 27 13:07:47 2006
※ 引述《Hazel0906 (大自然真奇妙)》之銘言：
: 今天遇到一個題目
: 怎麼想也想不出來
: 煩請版上的各位幫我想想要怎麼解
: ==========
: 1. A
: 2. (B v C)→D
: 3. (AvC)→(B．C) /∴D
1.2.3.式的對應句為{A˙[(B v C)→D]˙[(AvC)→(B．C)]}→D
其真值表為：
A B C D ║{A˙[(B v C)→D]˙[(A v C)→(B˙C)]}→D
────╫───────────────────
T T T T ║ T T T T T T T T
F T T T ║ F T T T T T T T
T F T T ║ F T T F T F F T
F F T T ║ F T T F T F F T
T T F T ║ F T T F T F F T
F T F T ║ F T T T F T F T
T F F T ║ F F T F T F F T
F F F T ║ F F T T F T F T
T T T F ║ F T F F T T T T
F T T F ║ F T F F T T T T
T F T F ║ F T F F T F F T
F F T F ║ F T F F T F F T
T T F F ║ F T F F T F F T
F T F F ║ F T F F F T F T
T F F F ║ F F T F T F F T
F F F F ║ F F T T F T F T
4 1 2 3 1 2 1 5
由真值表結果5.得知其結論為「套套邏輯」，
根據大定理，
其原論證為有效的。
---
參考參考 我怕我的對應式寫錯
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.231.59.94