86-87(上)邏輯期末測驗

邏輯
1986-87(上學期)

期末測驗

姓名(中文)：______________
(英文)：______________
系別：_____年級____學號___
小組導修導師：____________

一. 是非題(是的標上 '○'，不是的標上'X'。每題二分，答錯倒扣二分)共30分

1. 邏輯使用形式的方法研究論證的對確性。( )
2.形構化語言的最大特色就是使用特殊符號。( )
3.句外分析與句內分析的最大區別是：前者是形式方法，後者不是。( )
4.所有的語句邏輯系統都是真函邏輯系統。( )
5.所有的真函邏輯系統都是語句邏輯系統。( )
6.真函邏輯系統裏的連詞都是真函連詞。( )
7.非真函邏輯系統裏的連詞都不是真函連詞。( )
8.含有真函連詞的述句都是真的。( )
9.含有非真函連詞的述句都是假的。( )
10.在定言三段論中，大前提的主詞就是大詞。( )
11.兩個定言述句若不能同為真，則一定可以同為假。( )
12.正值對反的兩個述句不一定負值對反。( )
13.負值對反的兩個述句一定正值對反。( )
14.定言三段論共有二百五十六個不同形式，其中十五分之一是對確的。( )
15.含有非對確的論證形式的論證，一定不是對確的。( )

二. 填入適當的答案(每格二分)共30分

1. 若'P'為假，則 '(p

p)'為______， '～(pv(p≡～(q‧～q)))'為_________， '～(p

(～qv～～p))'為__________， '(q

p)'為___________。
2. 若 '(p

q)'為假，則'～(p≡q)'為________， '(～(～pvq)v～(q

p))'為_________。
3. '～p'為_____﹐若且唯若 '(p/p)'為真，'～p'為假若且唯若'(p↓p)'為________。
4. 如果A涵蘊B，而且B涵蘊C，則A涵蘊_______。
5. 涵蘊關係是種自反(反射關係)，也是一種______關係。
6. 兩個語句若不能同假，則它們具有_____關係。
7.既不能同真又不能同假的語句，彼此互相__________。
8.文法性質/關係，等同於邏輯性質/關係的語言，稱為________語言。
9.以甲語言討論乙語言，則乙是甲的_______語言，而甲則是乙的___________。

三. 試以簡短的方式，回答下列問題(每題十分，選做二題)共20分(可用試卷背面答題)

1. 為什麼我們不宜將「A

唸為「A涵蘊(implies)B」？

2. 證明若A涵蘊B，且B涵蘊C，則A涵蘊C。

3. 真函恆真是恆真的充分條件，但真函適然是適然的必要條件。

4. 具有對確性的邏輯形式是一個論證之為對確的充分條件，而非必要條件。

四.試用范氏圖的方法，檢查下列論證是否對確(每題五分)共20分

1.凡幼童都喜歡聖誕節，所以有的幼童喜歡聖誕節。

答案___________(對確與否)

幼童喜歡聖誕節(者)

2.凡絕頂聰明的人皆自命不凡，有的中大學生自命不凡，所以有的中大學生絕頂聰明。

絕頂聰明的人

自命不凡(者)

答案：__________
中大學生

3.有的絕頂聰明的人是偉大的人，凡是偉大的人都難以相處，所以有些難以相處的人是絕頂聰明的人。

偉大的人

難以相處的人

答案:__________
絕頂聰明的人

4.有些偉大的人是絕頂聰明的人，有些領袖是偉大的人，所以有些領袖是絕頂聰明的人。

領袖

絕頂聰明的人

答案：____________
偉大的人