課程名稱︰邏輯丙
課程性質︰G2
課程教師︰曾漢塘
開課系所︰哲學系
考試時間︰2006/6/21
試題 :
一.請依四角對當表或定言命題的換位 , 換質 , 或互換等變化 , 判別下列
論證是否有效(每小題6分)
1.所有的S都是P . 因此 , 並非沒有P是S
2.沒有S是非P . 因此 , 有些非P不是S
二.請依傳統五規則或范恩圖解判別下列論證是否有效(每小題6分)
1.IEO-2
2.AEO-3
3.AAA-1
三.請以述詞邏輯將下列日常語句翻譯為符號表示(每小題5分)
1.蛇不一定有毒(Sx:x是蛇 ; Px:x是有毒的)
2.只有心黑和臉皮厚的人才能在政治爭奪中獲勝(Px:x是人;Bx:x是心黑的;Fx:x是臉皮厚;
Vx:x是能夠在政治爭奪中獲勝的)
3.並非口說愛臺灣的人都是真的愛臺灣(Px:x是人;Ox:x是口說愛台灣的;
Tx:x是真的愛臺灣的)
4.事或有異(Ax:x是一件事務;Dxy:x和y是有差別的)
5.不敬重自己者就不會受到敬重(Px:x是人;Rxy:x敬重y)
6.至少有兩個學生翹課(Sx:x是學生;Ex:x翹課)
四.證明以下每一論證皆有效(每小題8分)
1.~(x)(Fx→Hx) /∴(#x)(Fx‧~Hx)
2.~(#x)(y)(Ayx→~Axy) /∴~(x)Axx
3.(x)(Hx→~Kx) /∴~(#y)(Hy‧Ky)
((#x)表存在一個x;→表條件句)
五.用你所知道的方法證明以下每一論證皆無效(每小題8分)
1.
1.(x)(Fx∪Hx)
/∴(x)Fx∪(x)Hx
2.
1.(#x)(Fx∪Hx)
2.~(x)Fx
/∴(#x)Hx
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.247