19XX(X學期)

邏輯測驗

姓名：_______________

一.試寫出具有下列形式之三段論各一個：10分

(a)AAA(1)                                        (b)EIO(3)



(c)IAI(4)                                         (d)OAO(2)




二.試用范氏圖解法檢查下列三段論是否對確：40分

(a)凡拘小節者非大才 凡瀟灑的人是大才 ∴凡瀟灑的人不拘小節          此一三段論________

(b)凡有情者皆有信 凡有情者非無義 ∴凡無義者非有信          此三段論_________

(c)凡有智者皆有義 有有勇者無智(非有智) ∴有有勇者無義(非有義)          本三段論___________

(d)凡絕頂聰明的人皆自命不凡 有的哲學家自命不凡 ∴有的哲學家絕頂聰明          本三段論___________

三.下列論證是否對確？試加討論：(10分)

      凡X是Y      
∴有X是Y


四.試對下列演繹加以註解(包括加星號)：(20分)

(a)1.∼Fx
2.(x)∼Fx
3.∼Fx(x)∼Fx
4.∼(x) ∼Fx∼∼Fx
5.∼∼Fx
6.Fx
7.(x)Fx
8.∼∼Fx(x)Fx
9.∼(x)∼Fx(x)Fx


(b)1.(x)Fx
2.Fx
3.(x)Gx
4.Gx
5.Fx•Gx
6.(x)(Fx•Gx)
7.(x)Gx(x)(Fx•Gx)
8.(x)Fx((x)Gx(x)(Fx•Gx))
9.((x)Fx•(x)Gx)(x)(Fx•Gx)


五.試作演繹證明下列定理：(20分)

(a)((x)Fx•(y)Gy)(x)(Fx•Gx)




(b)(x)∼Fx≡∼(x)Fx