批判思考（110 下）習題四參考答案 2022/04/19

1. 解釋名詞：
(1) 有效論證
Ans.：不可能前提都真而結論為假的論證。
(2) 健全論證
Ans.：前提都真的有效論證。
(3) 一致性
Ans.：一個語句集合，其中的所有語句有可能同時都真。

2. 請用真值表法確定下有語句是恆真句、適真句或矛盾句：
(1) A  [B  (A  C)]
Ans.：適真句。

(2) {A  [(B  C)  (D  B)]}  A

Ans.：恆真句。

(3) (A  B) ≡ (A‧B)

Ans.：矛盾句。

3. 請用真值表法證明下列論證的有效性或無效性：
(1) (A‧B)  C, B  (A‧D) /∴ B  C
Ans.：論證有效。因為：畫真值表！

(2) (A  B)  C, C /∴ A
Ans.：論證無效。因為：
當 V(A)=T，V(C)=F，V(B)=F 時，V((AB) C)=T 且 V(C)=T 但
V(A)=F。

(3) A  B, (C‧B)  D /∴ A
Ans.：論證無效。因為：
當 V(A)=V(B)=V(C)=F, V(D)=T 時，前提皆真而結論為假。

4. 請用真值表法證明下列語句集合的一致性或不一致性：
(1) {(K‧L)  M, K  M, L  M }
Ans.：一致。因為：
當 V(M)=V(L)=V(K) =T 時，語句集中的所有語句都真。

(2) {A ≡ B, A, B  C , C}

Ans.：不一致。因為：畫真值表！
（心算：A, B 與 A≡B 不可能同時為真）

1
 (3) {(H  J)  (H  K), (J  K), H}
Ans.：不一致。因為：畫真值表！
（心算：J K 與(J K)相矛盾）

5. 請用推論規則證明下列論證或定理：
(1) (A  B)  (C‧(D  E)), A, C  D /∴ E
Ans.：
1. (AB)(C‧(DE)) P
2. A P
3. CD P /∴ E
4. AB 2 Add
5. C‧(DE) 1, 4 MP
6. C 5 Simp
7. DE 5 Simp
8. C 6 DN
9. D 3, 8 DS
10. E 7, 9 MP

(2) (F‧G)  H, F, (G  H)‧(F  G) /∴ G ≡ H

Ans.：
1. (F‧G)H P
2. F P
3. (GH)‧(FG) P /∴ G≡H
4. FG 3 Simp
5. GH 3 Simp
6. G 2, 4 MP
7. H 5, 6 MP
8. F‧G 2, 6 Conj
9. H 1, 8 MP
10. H(G≡H) 9 Add
11. G≡H 7, 9 DS

(3) A  (B  C), C /∴ A  B
Ans.：
1. A(BC) P
2. C P /∴ AB
3. A(BC) 1 Impl
4. (AB)C 3 Assoc
5. AB 2, 4 DS

2
 6. AB 5 Impl

(4) (A‧B)  A
Ans.：
1. A‧B AP /∴ A
2. A 1 Simp
3. (A‧B)  A 1-2 CP

(5) [A  (B  C)]  [(A  B)  (A  C)]

Ans.：
1. A  (B  C) AP /∴ (A  B)  (A  C)
2. A  B AP /∴ A  C
3. A AP /∴ C
4. B 2, 3 MP
5. B  C 1, 3 MP
6. C 4, 5 MP
7. A  C 3-6 CP
8. (A  B)  (A  C) 2-7 CP
9. [A  (B  C)]  [(A  B)  (A  C)] 1-8 CP