课程名称︰逻辑丙 课程性质：通识 课程教师︰曾汉塘 开课学院： 开课系所︰哲学系 考试日期（年月日）︰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)