課程名稱︰邏輯
課程性質︰通識A4
課程教師︰彭孟堯
開課學院：文學院
開課系所︰哲學系
考試日期（年月日）︰2014.4.1
考試時限（分鐘）：110分鐘
是否需發放獎勵金：是
試題 :
◎本次考試不是open book，考試時禁止討論、交談
◎請關閉手機聲音，考試時不得使用手機、筆電、或任何電子產品
◎考完即可交卷，試題紙不必交回
◎請仔細閱讀題目，審慎作答
◎本次考試有三大題，共13題，請仔細閱讀題目，審慎作答
◎如果需要翻譯「或」，請一律使用「相容或」來解釋，以避免任何爭議。
=========================================================================
I. 請將下列語句以語句邏輯的符號來表示(各6分)：
(1) 除非張三選修邏輯和哲學概論，否則張三部選修西方哲學史。
(A：張三選修邏輯，B：張三選修哲學概論，D：張三選修西方哲學史)
(2) 張三不是在圖書館就是在實驗室。
(A：張三在圖書館，B：張三在實驗室)
(3) 張三如果有選修哲學概論，就沒有選修邏輯。
(A：張三有選修哲學概論，B：張三有選修邏輯)
(4) 張三只有學過命題邏輯，才學述詞邏輯。
(A：張三學過命題邏輯，B：張三學術詞邏輯)
(5) 張三既沒有學過邏輯，也沒有學過哲學。
(A：張三學過邏輯，B：張三學過哲學)
(6) 張三不只聰明，而且用功。
(A：張三聰明，B：張三用功)
II.請判斷下列推論是否有效(真值表、簡短真值表、樹枝法均可) (各8分)
(7) 1. H>(F^G)
2. HvF
3. F>(G>K) /~HvK
(8) 1. Av~(AvB) / ~A>(~AvB))
(9) 1. A>~(H^G)
2. ~(A>B)^(~B>G) / ~(HvA)
III. 下列有效論證，請使用推論規則證明(直接證法、條件正法、反證法均可)
(各10分)
(10) 1. (A^B)>E
2. (B>E)>G
3. ~(Dv~A) / G^~D
(11) 1. (AvP)>(Q>R)
2. (PvB)>(E>D)
3. (DvP)>(QvE)
4. SvP / RvD
(12) 1. A>(~D>C)
2. ~D>(C>B)
3. ~(D^A) / A>B
(13) 1. A三R
2. D>(R^E)
3. ~A^~R / ~D