93補考

（補考/ 93-12-30）

邏輯期末測驗

姓名（中文）：_______________　
　　　（英文）：_______________
系別：________年級：________
學號：______________________

一、是非題（是的寫‘O'，不是的寫‘X’，每題1分，答錯倒扣1分）共25分

1.「形構化語言」是一種理想語言。（　）
2.日常語言都是種形構化語言。（　）
3.一個真函邏輯系統裏不會有非真函連詞。（　）
4.一個非真函邏輯系統裏，不會有真函連詞。（　）
5.在真函邏輯系統中，二元連詞最多只有14個。（　）
6.真函邏輯是一種句內分析的邏輯。（　）
7.‘或’字通常有二義，即‘ˇ’和‘

’，前者是真函連詞，後者不是。（　）
8.真函邏輯中的合取連詞('．')和英文裡的 'and'完全同義。（　）
9.定言三段論是一種語句邏輯。（　）
10.在一個三段論裏，凡是寫在前面的前提就是大前提。（　）
11.出現在三段論的結論裏的詞，不是大詞就是小詞。（　）
12.在一個定言三段論中，大詞與小詞的出現數目相等。（　）
13.中詞不出現在定言三段論的前提之中。（　）
14.主賓分析的邏輯是一種句外邏輯。（　）
15.兩個語句如果不能同為真，則一定同為假。（　）
16.兩個語句如果不能同為假，則一定同為真。（　）
17.有些語句既不能同為真，亦不能同為假。（　）
18.有些語句既同為真，亦同為假。（　）
19. '(p

q)'和 '(p≡q)'互相矛盾。（　）
20.'(pˇ(qˇr))'涵蘊 '((pˇq)．(qˇr))' 。（　）
21.如果A涵蘊B，則B不涵蘊A。（　）
22.在任何情況下，「~A和

'~P'都不相等。（　）
23.在任何情況下， '~A'都等於「~A

。（　）
24.真函恆真句只（真函）涵蘊真函恆真句。（　）
25.真函恆假句只（真函）涵蘊真函恆假句。（　）

二、試對下列名詞給予簡單定義（界說）：每項4分，共20分。

1.涵蘊：

2.對確：

3.矛盾：

4.大前提：

5.真函連詞：

三、試用真值表的方法判定下列論証形式是否對確：共10分

1.(p

q)
(p1

r)
(~qv~r)
∴(~pv~p1)

2.(p

q)
  (~qvr)
   ~r
   ∴(~pvq)

（可用背面作答）

四、試用范氏圖解法，判斷下列三段論是否對確：共15分

　　　　

1.有的人絕頂聰明
凡是絕頂聰明的都驕傲
∴有的人驕傲

2.有的人驕傲
凡人都非絕頂聰明
　 ∴有絕頂聰明的非驕傲

3.    有的人聰明
    有的人驕傲
　   ∴有聰明的驕傲

五、簡單回答下列問題（選答三題，每題10分）：共30分

1.因為麼不宜將「(A

B)（若A則B）唸成A涵蘊B？

2.試向下列三段論是否對確。何故？
凡人都是理性動物
凡理性動物都愛思考
　 ∴有人愛思考

3. 証明真函適然性是適然性的必要條件。

4. 証明涵蘊關係是種傳遞關係。

5. 舉出一個非真函的連詞，並說明它為什麼是非真函的。