課程名稱︰邏輯 課程性質︰夏季學院-通識 課程教師︰彭孟堯 開課學院：哲學系 開課系所︰文學院 考試日期（年月日）︰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)