哲學102 邏輯

第五次測驗

姓名(中文)___________ (英文)___________ 系別_________________

一.界定下列諸概念(每項3分) 30分

1.三段論

2.大前提

3.普及

4.矛盾

5.正值對反

6.謂詞

7.(QL的)解釋

8.模型

9.A在D裡可滿足

10.聯立可滿足


二. 寫出下列三段論的邏輯形式(以'S'，'P'，'M'分別代表小詞、大詞與中詞)10分

(1)〈E，I，O〉(2)	(2)〈A，E，O〉(4)
(3)〈A，E，I〉(1)	(4)〈E，O，I〉(3)

三.下列三段論是否對確？若不是，各犯了什麼規則？15分

(1)有人愛真理     有人愛自由     有愛真理者愛自由 _____________	(2)凡愛真理者愛自由     凡哲學家愛真理     凡愛自由者是哲學家 _____________________
(3)凡詩人皆浪漫     凡詩人皆高傲     有浪漫者是高傲 ___________________	(4)沒有詩人不好酒     有的哲學家不是詩人     有的哲學家不好酒 ____________________
(5)有的人愛真理     有的人愛自由     有的哲學家愛真理又愛自由 ________________

四.使用零式判別法，檢查具有下列形式之三段論是否對確：15分

(1)沒有M是P     凡S是M     沒有S是P	(2)有的M不是P     凡M是P     有的S不是P
(3)沒有P是M     有的S不是M     有的S不是P	(4)沒有M是P     有的M是S     有的S不是P
(5)有的P不是M     凡M是S     有的S不是P

五.寫出QL的形成規則：(10分)



六.決定下列表式是否為謂詞；若是，它們分別是幾元謂詞？(15分)

F(1)(            )； F(1)(2)(3)(            )； F(1)(1)(            )； F(2)(1)(            )；

F(2)(            ) F(1)(3)(            ) F(1)(2)(1)(            ) Fxy(            )

七.標示(圈出)下列語式中的所有自由變數出現：(10分)

(1)P((x)(y)Fxy v∼Fxy)

(2)(x)(y)(Gxy v Gyx)•∼(Gxy•Gyx)


八.消除下列語式中的所有量化詞，UD={a，b，c}：(10分)

(1) (x)(y) Fxy(y)(x)Fxy


(2)(x)(Fx(y)Gy))



九.假如A和B都可滿足，那麼是否{A，B}就是可滿足？反之如何？試簡單證明之。 10分



十.將下列語式翻譯為流利的中文語句： 15分

(1)(x)(y)Fyx
(2)(y)(x)Fyx

UD=正整數
F(1)(2)：(1)>(2)


(3)(x)(y)Fyx∼(x)(y)Gyx
(4)((x)(y)Fxy•∼(x)(y)(Gxy)(y)Hy
(5)(x)(LxMyx)

UD：人
F(1)(2)：(1)愛(2)
G(1)(2)：(1)討厭(2)
H(1)：(1)是幸福的
L(1)：(1)上邏輯課
M(1)(2)： (1)祝(2)考試愉快
y：何先生

(1)____________________
(2)____________________
(3)____________________
(4)____________________
(5)____________________