網路城邦
上一篇 回創作列表 下一篇   字體:
理則學 練習16 範例 第一部分 (取自梅子姐)
2008/01/04 16:06:55瀏覽456|回應0|推薦3

E15C-10.(E&F) ⊃G, H⊃E, ∴F⊃(H⊃G)

1. (E&F)⊃ G

Premise

2. HE

Premise

3. [F⊃(H⊃G)]

Premise

4. F&(HG)

From 3 by equivalence for conditional and disjunction

5. (HG)

From 4 by simplification

6. H&G

From 5 by equivalence for conditional and disjunction

7. H

From 6 by simplification

8. E

From 2, 7 by Modus ponens

9. F

From 4 by simplification

10. E&F

From 8, 9 by adjunction

11. G

From 1, 10 by Modus ponens

12. G

From 6 by simplification

13. G&G

From 11, 12 by adjunction

從推導出矛盾可知前提不可能全部為真,若原始論證的前提皆為真,則否定結論而設的前提必定為假,所以原結論為真。故原始論證為有效論證。

 

B-1

C ⊃D, D ∴C

 

T

T

F

C⊃D

D

C

F

T

T

F

設此論證為前提真且結論假的無效論證,因此設D為真,而C為假。當D為真且C為假時,C⊃D可為真。因此可知當DC假時,整個論證無效。因此這個論證是無效論證。

 

 

C-3 If either revenues increase or debt and costs decrease, the firm's profitability will improve. Costs won't decrease unless debt decreases. It's not the case both that revenues will increase and that profitability will improve. Therefore, either debts won't decrease or profitability will improve.

Let "R" mean "Revenues increase," let "D" mean "Debt increase," let "C" mean "Costs increase," and let "F" mean "profitability will improve."

 

論證符號後如下:

1.      [R∨(–D&–C)] ⊃F

2.      C⊃–D

3. (R&F)

DF

 

先由short-cut method檢驗一下是否為無效論證。

T

T

T

F

[R∨(–D&–C)] ⊃F

C⊃–D

(R&F)

D∨F

F

T

F

F

F

T

T

F

F

F

F

由此可知,在C為真而D, F, R為假時,會有前提真而結論假的情況。所以這是個無效論證。

 

D-6 p⊃q, q⊃r, p&r

 

1. p⊃q

Premise

2. q⊃r

Premise

3. p&r

Premise

4. p⊃r

1,2, Chain argument

5. p

3, Simplification

6. r

4,5, Modus ponens

7. r

3, Simplification

8. r&r

6,7, Adjunction

 

導出矛盾,可知這組語句是不一致的。

( 知識學習隨堂筆記 )
列印 加入我的文摘
上一篇 回創作列表 下一篇

引用
引用網址:https://classic-blog.udn.com/article/trackback.jsp?uid=r90682&aid=1509450