→ CathyLi :DONE 11/04 16:32
課程名稱︰基本邏輯上
課程性質︰哲學系必修
課程教師︰彭孟堯
開課學院：文學院
開課系所︰哲學系
考試日期（年月日）︰2011/11/03
考試時限（分鐘）：120 分鐘
是否需發放獎勵金：是 謝謝!
（如未明確表示，則不予發放）
試題 :
＊本次考試為 open book
一、請將下列語句或論證改用命題邏輯的符號系統表示（各８分）
(1)如果張三不參加網球社或者羽球社，則他參加籃球社以及游泳社。
（Ａ：張三參加網球社：Ｂ：張三參加羽球社；
Ｄ：張三參加籃球社；Ｅ：張三參加游泳社）
(2)儘管張三又愛吃鮮蝦又愛吃螃蟹，他不愛吃龍蝦也不愛吃魷魚。
（Ａ：張三愛吃鮮蝦；Ｂ張三愛吃螃蟹；Ｄ：張三愛吃龍蝦；Ｅ：張三愛吃魷魚）
(3)最近地球氣候異常，各地天災不斷。
（Ａ：最近地球氣候異常；Ｂ：各地天災不斷）
(4)除非張三邏輯不及格，否則他有考期中考試和學期考試。
（Ａ：張三邏輯及格；Ｂ：張三有考期中考試；Ｄ：張三有考學期考試）
(5)張三只有擔任經理才有配車。
（Ａ：張三擔任經理；Ｂ：張三有配車）
(6)張三選修初階邏輯或微積分。張三如果不選修哲學導論以及機率，
則他不選修初階邏輯。張三選修機率。所以，張三不選修微積分。
（Ａ：張三選修初階邏輯；Ｂ：張三選修微積分；
Ｄ：張三選修哲學導論；Ｅ：張三選修機率）
二、下列論證是否有效？（真值表、間接真值表法、樹枝法不拘。）
(7) (Av~B)v(~A→D)
(D^E)三(~EvA)
/ (Bv~D)→~A
(8) (Av~D)→(DvB)
~(BvA)
/ ~(D^A)
三、請使用推論規則證明下列有效論證(直接證法、條件證法、反證法不拘)
(9) 1. ~Dv~A
2. ~Bv~E
3. (EvH)^(EvD)
/ ~Av~B
(10) 1.D→(B→~A)
2.~D→(~B^~A)
/ ~Bv~A
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.196.24