推 edge3682 :樓下叫我推 11/12 12:23
推 zc622 :好快..還好我打到一半先來看有沒有人po..(抱歉斷推XD 11/12 12:42
→ zc622 :註：open book 11/12 12:44
※ 編輯: firzen11589 來自: 125.226.157.169 (11/12 19:08)
課程名稱：基礎邏輯上
課程性質：哲學系必修
課程教師：彭孟堯
開課學院：文學院
開課系所：哲學系
考試日期（年月日）：99/11/12
考試時限（分鐘）100min(兩節課)
是否需發放獎勵金：是
（如未明確表示，則不予發放）
試題：
※open book
I.請以命題邏輯的符號系統，翻譯下列語句或者論證(各10分)：
(1)選修邏輯課的同學不是大一的，就是大二的。如果選修邏輯課的同學是大一的，選修
哲概課的同學也是大一的，則選修哲概的同學不是大二的
(A：選修邏輯課的同學是大一的；B：選修邏輯課的同學是大二的；C：選修哲概課的
同學是大一的；D：選修哲概課的同學是大一)
(2)要是這次選舉甲黨勝選，則甲黨獲得民心支持，乙黨失去民心支持。要是這次乙黨勝
選，則乙黨獲得民心支持，甲黨失去民心支持。所以，這次選舉要嘛甲黨勝選並獲得
民心支持，要嘛乙黨勝選並獲得民心支持。
(A：這次選舉甲黨勝選；B：這次選舉乙黨勝選；C：甲黨獲得民心支持；D：乙黨獲
得民心支持)
(3)台北市民到淡水可以搭捷運，也可以搭公車。要是不搭捷運和公車，可以騎腳踏車。
所以，如果台北市民不騎腳踏車到淡水，他們搭捷運或者公車到淡水。
(A：台北市民搭捷運到淡水；B：台北市民搭公車到淡水；C：台北市民騎腳踏車到淡
水)
II.請決定下列論證是否有效(真值表法、歸謬(簡短)真值表法、或樹枝法，任擇其一)
(各15分)
(4)1.(E→F)→G
2.~F^(~G^H) / (~E^(G三F))vH
(5)1.S三(R三T)
2.Tv~R
3.~R→~S / T→~S
III.下列論證是有效的，請建構證明(直接證法、條件證法、歸謬(反)證法)任擇其一)
(各15分)
(6)1.~Dv~A
2.(A三B)^D / ~BvA
(7)1.~Av~E
2.~B^(DvE)
3.(~A→B)^(D→B) / F
(8)1.~A三(B^~D)
2.B→~D / B三~A
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.170
※ 編輯: firzen11589 來自: 140.112.4.170 (11/12 12:12)