推 pttmansion :也太快了吧XDD還在考耶 07/20 15:20
推 shikaru :超誇張XDD 07/20 17:12
→ EternalChaos:我還不是第一個交卷的 打題目的時候怕被搶先(誤) 07/24 00:41
推 chiau623 :好久不見XD推~ 07/26 23:29
課程名稱︰邏輯
課程性質︰夏季學院-通識
課程教師︰彭孟堯
開課學院：哲學系
開課系所︰文學院
考試日期（年月日）︰2011/7/20
考試時限（分鐘）：兩小時
是否需發放獎勵金：是
（如未明確表示，則不予發放）
試題 :
○本次考試限制至多可使用「推論規則表」、「樹枝圖」、以及「邏輯運算子對照表」。
○請務必遵守考試規則，嚴禁作弊；違者本門課以零分計，
並依北二區教學中心相關規定辦理。
○本次考試共有三大題，XX小題。考試時間兩小時，請把握時間，審慎作答。
題目紙不必交回。
○請在答案紙上註明學校、系別、學號、姓名。
註：條件句使用"→"表示、連言句"∩"、選言句"∪"、等值句"≡"。
一、請使用命題邏輯的語言翻譯下列命題(語句):(各5分)
※如果要翻譯「或者」，請使用「若或(相容或)」及可。
(1)老張要嘛人在北京，要嘛人在紐約或者舊金山。
(A:老張人在北京、B:老張人在紐約、C:老張人在舊金山)
(2)要是甲黨推出總統候選人，乙黨推出總統候選人或國會會長候選人。
(A:甲黨推出總統候選人、B:乙黨推出總統候選人、C:乙黨推出國會會長候選人)
(3)只要老王得獎，老陳也得獎但老張不會得獎。
(A:老王得獎、B:老陳得獎、C:老張得獎)
(4)除非老王和老張都報名參加比賽，否則老陳不報名參加比賽。
(A:老王報名參加比賽、B:老張報名參加比賽、C:老陳報名參加比賽)
(5)儘管老王手頭拮据，他依然過著奢侈的生活而且逃稅。
(A:老王手頭拮句、B:老王過著奢侈的生活、C:老王逃稅)
(6)要是大學生都修過邏輯或者哲學導論或者機率或者微積分，大學生都有人文素養或者
基礎科學的背景。
(A:大學生修過邏輯、B:大學生修過哲學導論、C:大學生修過機率、D:大學生修過微積
分、E:大學生有人文素養、F:大學生有基礎科學的背景)
(7)大學生學邏輯是學人工智能的必要條件，學邏輯也是學哲學的必要條件。
(A:大學生學邏輯、B:大學生學人工智能、C:大學生學哲學)
(8)要是老王沒有參加本次考試或者考試遲到，老王既不會通過本次考試，這門課也不會
及格。
(A:老王參加本次考試、B:老王考試遲到、C:老王通過本次考試、D:老王這門課及格)
二、請判斷下列論證是否有效(歸謬真值表或樹枝法均可):(各10分)
(9) 1. B → ( E ∩ D ) (10) 1. B ∪ D
2. D ∩ -A 2. -D
3. A ≡ E 3. D ∪ -B
/ B / -A ∪ -B
三、請使用推論規則證明下列有效論證
(直接證法、條件證法、反證法均可):(各10分)
(11)
1. D → -A
2. B → -A
/ ( B ∪ D ) → -A
(12)
1. -G → A
2. -A ∪ E
3. -H ∪ -E
4. G → -H
/ -H
(13)
1. B → D
2. B → ( D → A )
3. D → ( A → E )
/ B → E
(14)
1. -D ≡ E
2. D ∪ -E
3. B ∪ ( E ∩ A )
/ B
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.245.126
※ 編輯: EternalChaos 來自: 140.112.245.126 (07/20 15:17)