一.是非(16分)
1.Fa,Fab,...,Fab...c都是原子語句
2.不可以有0位述詞
3.二位以及二位以上的述詞又叫"關係"
4.林黛玉是一個人,當然是個體
5.凡套套邏輯都是有效句,反之不然
6.凡A型句的否定句,即為O型句,反之亦然
7.凡無效論証一定是謬誤,毫無例外
8.論域不可以是空集合
二.翻譯(30分)
1.有些書有用但無趣
2.天天有人打太極拳
3.只有蘭花才是王者之香
4.世人都愛耶穌
5.Every prize was won by some girls
6.台北縣長是一個聰明絕頂的大禿頭,而他就是蘇貞昌
三.證明(30分)
(一)1.~(A˙B)=~C
2.(DvE)>C / E>A
(二)1.(x)(Ax>Bx)/ (x)((Dx˙Ax)>(Dx˙Bx))
(三)1.(x)(Hx>Kx)
2.(x)((Ax˙Hx)>~Kx)/ ~( ]x)(Ax˙Hx)
(四)1.( ]x)(Fx˙~Hx)/ ~(x)(Fx>Hx)
(五)1.(x)(Fx>x=a)
2.(y)(Hy>y=b)
3.( ]y)(Fy˙Hy)/ a=b
四.反証(15分)
(一)1.(x)(Fx>Kx)
2.(x)(Hx>Kx)/ ( ]x)(Fx˙Hx)
(二)1.(x)Fx>Habc/ (x)(Fx>Habc)
(三)1.(x)( ]y)Fxy/ ( ]y)(x)Fxy
--
未來
從彼此的眼眸出發
喜怒還是會有的
深情 應在眉間
或是唇間
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.169.240
> -------------------------------------------------------------------------- <
作者: discourage (encourage!!) 看板: NTUcourse
標題: Re: [問題] 有人有 "邏輯丙" 的期末考古題嗎
時間: Fri Jun 14 00:04:21 2002
※ 引述《oneneedle (A new begin!!!)》之銘言：
: 一.是非(16分)
O 1.Fa,Fab,...,Fab...c都是原子語句
X 2.不可以有0位述詞
O 3.二位以及二位以上的述詞又叫"關係"
X 4.林黛玉是一個人,當然是個體
O 5.凡套套邏輯都是有效句,反之不然 有效句是什麼??
O 6.凡A型句的否定句,即為O型句,反之亦然
X 7.凡無效論証一定是謬誤,毫無例外
O 8.論域不可以是空集合
: 二.翻譯(30分)
: 1.有些書有用但無趣
: 2.天天有人打太極拳
: 3.只有蘭花才是王者之香
: 4.世人都愛耶穌
: 5.Every prize was won by some girls
: 6.台北縣長是一個聰明絕頂的大禿頭,而他就是蘇貞昌
: 三.證明(30分)
: (一)1.~(A˙B)=~C
: 2.(DvE)>C / E>A
3.~A V ~B=~C 1.Dem
|>4.~A AP
| 5.~A V ~B 4.Add
| 6.~C 3,5Equiv,MP
| 7.~(DVE) 2,6MT
| 8.~D˙~E 7,Dem
| 9.~E 8.Simp
| ---------------
10.~A>~E 4-9CP
11.E > A 10.Contra
: (二)1.(x)(Ax>Bx)/ (x)((Dx˙Ax)>(Dx˙Bx))
: (三)1.(x)(Hx>Kx)
: 2.(x)((Ax˙Hx)>~Kx)/ ~( ]x)(Ax˙Hx)
: (四)1.( ]x)(Fx˙~Hx)/ ~(x)(Fx>Hx)
: (五)1.(x)(Fx>x=a)
: 2.(y)(Hy>y=b)
: 3.( ]y)(Fy˙Hy)/ a=b
: 四.反証(15分)
: (一)1.(x)(Fx>Kx)
: 2.(x)(Hx>Kx)/ ( ]x)(Fx˙Hx)
: (二)1.(x)Fx>Habc/ (x)(Fx>Habc)
: (三)1.(x)( ]y)Fxy/ ( ]y)(x)Fxy
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.243.16
※ 編輯: discourage 來自: 140.112.243.16 (06/14 00:35)