推 jvspirit:bold打錯了...是bald 140.112.250.114 01/07
課程名稱︰邏輯丙
課程性質︰通識
課程教師︰林照田
開課系所︰哲學系
考試時間︰2005.1.7(五)
試題 :
ㄧ、定義24%
1.個體
2.封閉變項
3.ambiguity v.s. vagueness(歧義vs含糊)
4.amphibody (歧句) Ans:合成的句子有兩種不同的解讀方式
5.循環論證的謬誤
6.訴諸暴力的謬誤
7.0,1,2,......,n,....,λs
8.有效語句
二.翻譯20%
1.不練武或不運動的人就是不珍惜自己身體的大傻瓜.
2.任何一個自然數都有而且只有一個後繼者.
3.有人天天讀書 /∴天天有人讀書
4.The present king of France is bold.
三.証明20%
(一) 1.≡︳x
2.￥x￥y((Hx˙Hy)→x=y)
/∴≡︳x(Hx˙￥y(Hy→x=y))
(二) 1.￥xFx→Kab /∴≡︳x(Fx→Kab)
(三) 1.￥x(Rx→Bx)
2.￥x(Ax˙Rx)→Dx)
3.￥x~(Bx←→Dx) /∴~≡︳x(Ax˙Rx)
(四) 2 X 2 = 4
四.反証15%
(一)1.￥x(Fx→Gx)
2.￥x(Hx→Gx) /∴≡︳x(Fx˙Hx)
(二)1.￥x≡︳yFxy /∴≡︳y￥xFxy
(三)1.￥xFxx→Hab /∴￥x(Fxx→Hab)
(五)指正錯誤
1.~￥x~(Fx→Hx) P
2.~(Fx→Hx) 1,UI
3.~≡︳x(Fx→Hx) 2,EG
4.≡︳x~(Fx→Hx) 3,QN
5.~(Fx→Hx) 4,EI
6.￥x~(Fx→Hx) 5,UG
7.~(Fx→Hx) 6,UI
8.≡︳y~(Fy→Hx) 7,EG
9.￥x≡︳y~(Fy→Hx)8,UG
(六)問答題18%
(一)下一論證
1.P
2.~P /∴≡︳xHx
可以作為自然演繹法的推論法則嗎?為什麼?
(二)請說明"套套邏輯"與"有效語句"間的關係,並舉例說明.
(三)什麼是(演譯邏輯的)謬誤?請舉例說明.
--
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.167.95.5