課程名稱︰邏輯 課程性質︰A4通識 課程教師︰彭孟堯 開課學院：文學院 開課系所︰哲學系 考試日期（年月日）︰2013年10月29日 考試時限（分鐘）：110分鐘 是否需發放獎勵金：是 （如未明確表示，則不予發放） 試題 : 一、請將下列語句改用命題邏輯的符號表示(各8分) (1)只有颱風來襲或者出現大地震，學校才會放假。 (A:颱風來襲；B:出現大地震；C:學校放假) (2)老王要是去廣州，就會去香港或者澳門。 (A:老王去廣州；B:老王去香港；C:老王去澳門) (3)最近不但甲公司和乙公司的沙拉油出了問題，丙公司和丁公司的芝麻油也出現問題。 (A:最近甲公司的沙拉油出了問題；B:最近乙公司的沙拉油出了問題； C:最近丙公司的芝麻油出了問題；D:最近丁公司的芝麻油出了問題) (4)這次邏輯考試題型有翻譯題和證明題，不過如果這兩種題型都沒有，就有選擇題。 (A:這次邏輯考試題型有翻譯題；B:這次邏輯考試題型有證明題； C:這次邏輯考試題型有選擇題) (5)老王要嘛參觀故宮和士林夜市，要嘛參觀天文館。 (A:老王參觀故宮；B:老王參觀士林夜市；C:天文館) (6)除非老王參加網球社和棒球社，否則他不參加籃球社。 (A:老王參加網球社；B:老王參加棒球社；C:老王參加籃球社) 二、下列論證是否有效？(真值表法、間接真值表法、樹枝法不拘)(各13分) (7) (A≡B)->(Av~D) (D^E)->(E^~A) / (B^D)->~A (8) (~A≡D)->(D≡B) ~(B->D) /DvA 三、請使用推論規則對下列有效論證（直接證法、條件證法、反證法不拘） 　　（各13分） (9) 1.~(~Ev~F) 2.Bv~E 3.(B^F)->~B / ~Dv~E (10) 1.~F->(D^A) 2.~B->~A / ~B->F --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.4.196 ※ 編輯: yang1223 來自: 140.112.4.196 (10/29 15:34)