推 ALegmontnick:解答耶~酷 05/05 12:57
推 piggy20166:教授會寄到修課同學的信箱，所以大家都有... 05/05 17:02
推 ALegmontnick:老師有準備解答也很酷啦XD 05/05 18:51
課程名稱︰邏輯丙
課程性質︰人文通識
課程教師︰曾漢塘
開課學院：文學院
開課系所︰哲學系
考試時間︰96/05/02
是否需發放獎勵金：是
一、是非題
XXOXO
二、選擇題
abcab
三、翻譯題
1. { [A V (B V C)] ‧～[A‧(B‧C)] }‧{[～(A‧B) V～(B‧C)]V～(A‧C)}或
[A‧～(B V C)] V {[ B‧～(A V C)] V [C‧～(A V B)]}
2. B→A
3. B V～A 或 ～B→～A
4. (A V B)→(C‧D)
四、
(1) 1. A→B P
2. C→D P
3. (B V D)→E P
4. ～E P
5. ～(B V D) 3, 4 MT
6. ～B‧～D 5 DeM
7. ～B 6 Simp
8. ～D 6 Simp
9. ～A 1, 7 MT
10. ～C 2, 8 MT
11. ～A‧～C 9, 10 Conj
12. ～(A V C) 11 DeM #
本題若用IP規則，那就更簡單。
(2) 1. A←→～B P
2. A→C P
3. (C→～D) ‧(～D→B) P
4. (A→～B) ‧(～B→A) 1 Equiv
5. A→～B 4 Simp
6. ～D→B 3 Simp
7. ～B→～～D 6 Contra
8. A→～～D 5, 7 HS
9. C→～D 3 Simp
10. ～～D→～C 9 Contra
11. A→～C 8, 10 HS
12. ～C→～A 2 Contra
13. A→～A 11, 12 HS
14. ～A V～A 13 Impl
15. ～A 14 Idemp #
本題若用IP規則，那就更簡單。
(3) 1. (A‧B)←→C P
2. C←→D P
3. A P
4. [(A‧B)→C][C→(A‧B)] 1 Equiv
5. (A‧B)→C 4 Simp
6. A→(B→C) 5 IE
7. B→C 3, 6 HS
8. (C→D)‧(D→C) 2 Equiv
9. C→D 8 Simp
10. B→D 7, 9 HS
11. C→(A‧B) 4 Simp
12. ～C V(A‧B) 11 Impl
13. (～C V A)‧(～C V B) 12 Dist
14. ～C V B 13 Simp
15. C→B 14 Impl
16. D→C 8 Simp
17. D→B 15, 16 HS
18. (B→D)‧(D→B) 10, 17 Conj
19. B←→D 18 Equiv #
(4) 這個論證，只要架構真值表、簡易真值表、或真值樹法來檢驗，就知此為無效論證。
但我們的題目是限定用解釋法。若同學不是以解釋法，算是不依題目規定，不能得滿分。
解釋法沒有標準答案，只要你界定的語句，從日常生活的判斷，能造成前提皆真而結論假
，就是一個符合要求的解釋。本題結論為選言句，所以，切記，B和C的界定必須都是日常
生活會認為是假話的解釋。
Domain：{存有}
A：這次邏輯期中考有人及格。
B：太陽從東邊升起。
C：人能長生不死。
D：醫學已進步到能以基因療法從事醫療。
依此解釋，就能造成前提皆真而結論假的情境。亦即透過此解釋，就足以說明這是一個無
效論證。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.251.229