課程名稱︰邏輯丙 課程性質：通識 課程教師︰曾漢塘 開課學院： 開課系所︰哲學系 考試日期（年月日）︰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)