課程名稱︰邏輯丙
課程性質：通識
課程教師︰曾漢塘
開課學院：
開課系所︰哲學系
考試日期（年月日）︰98.4.18
考試時限（分鐘）：120分鐘
是否需發放獎勵金：是
（如未明確表示，則不予發放）
試題 :
一、是非題
1.若已知前提皆真，結論也真，則知此論證有效。
2.眾知:「日東昇西落」，故知此語為tautology。
3.若兩語句相互矛盾，則此兩語句必然相互不一致。
4.用來架構論證的命題必須是有認知意義的語句，應力避問句、感嘆句、或帶有強烈情感
和價值的語句。
5.CP證法只可用在結論為條件句的有效論證證明中
二、選擇題
1. A，~A，D /∴D→A 此一論證為 a. 有效論證 b. 無效論證 c. 無法知道是否有效
2. 下面何者為完構式 a. P‧QvR b. P‧(Q→R) c. ((P→R)→Q
3. 一個有效論證，已知前提有假，則知結論 a. 必為真 b. 必為假 c. 不能確定
4. 若將一個論證的前提轉化為一條件句的前件，將結論化為後件。若此條件句為適真句
，則原論證為 a. 無效論證 b. 有效論證 c. 無法知道是否有效
5. 「狗有四條腿。貓有四條腿。獅子有四條腿。…所目前我所知的畜類都是四條腿。可
知，所有的畜類都是四條腿。」這是一個 a. 有效論證 b. 無效論證 c. 強的論證
三、假設有一語句的連接符號為※，A※B的真值表如下，請限定用~和→這兩個我們目前
使用的語句連接詞將其轉譯出來。
A│B│A※B
──────
T│T│ F
T│F│ T
F│T│ T
F│F│ T
四、翻譯(自行界定原子語句符號)
1. 除非張三是資優生，否則只有在他是高中畢業生，才可報名大學。
2. 必非只要張三和李四是資優生，他們就考得上台大。
3. 張三努力向學，就等於他成功的宣告。
五、下列論證，若為有效論證，限用18個推論規則證明其有效性；若為無效論證，請用你
所學過的任何一種方法證明其無效。(後來改成可以用IP與CP證法，但至少要有一組有效
論證的題目只能用18個規則證明。)
(1).
1. ~(A‧B) ←→ ~C
2. (DvE) → C /∴E→A
(2).
1. K → [(LvM)→R]
2. (RvS) → T /∴K→(M→T)
(3).
1. D→B
2. D→(B→W)
3. B→(W→S) /∴D→S
(4).
1. A→B
2. B→C
3. C→D
4. D /∴A
六、證明下列定理
(1). (AvB)→[C→(AvB)]
(2). (A←→B) ←→( ~A ←→ ~B)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.218.93
※ 編輯: flf2ko 來自: 140.112.218.93 (05/01 21:03)