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