湖北大学2004—2005学年度第二学期课程考试试题参考谷案及评分标准 北:还课程雩试题参考苍案及评分标准 课程名称 数理逻辑 (B卷) 考试方式: (闭卷) 任课教师:宋伟 专业年级:哲学2003级 注:参考答案需写清题号、每小题分值、参考答案要点、评分标准等 Complete the following blanks.(each 2 points, total 20 points 2. logically implies 3.(~A)V(~B) 4. Every theorem of L is a autol 5.~(彐x)(N(x)∧0(x)∧E(x)or(Vx)(N(x)→(0(x)∧E(x) 6. formal language, deductive apparatus 7. decidable 8. free 9. Countable(or denumerable) 10.(yx)(A2(c,x2)→A2(e1c2) Solve the following problems.(each 10 point, total 60 points) 1.DNF:(p^q∧r)∨(p∧(~q)∧r)(p∧(~q)A(-r)V(p)∧qAr)∨(~p)∧(~q) )(5 pts) CNF:(~p)V(~q)Vr)∧(p∨(~q)Vr)∧(p∨qVr)(5pts) 2.(p-q) is logically equivalent to(p(q) and so to (pl(g)) (Spts.) 3. Attempt to assign truth values to demonstrate the invalidity of the argument form. Let p take alue F and q take value T.(5pts )Under this assignment of truth values, the other premises, ((p) (q)) takes value F. So it is impossible to assign values so that the premises ate true and the conclusion is false, and this argument is valid. (5 pts. 第1页共2页)湖北大学 2004——2005 学年度第二学期课程考试试题 参考答案及评分标准 （第 1 页 共 2 页） 课程考试试题参考答案及评分标准 课程名称： 数理逻辑 （ B 卷） 考试方式： （闭卷） 任课教师： 宋 伟 学 院： 哲 学 系 专业年级： 哲学 2003 级 注：参考答案需写清题号、每小题分值、参考答案要点、评分标准等 一. Complete the following blanks.(each 2 points, total 20 points) 1. 2n 2. logically implies 3. ((～A)∨(～B)) 4. Every theorem of L is a tautology. 5. ～(  x)(N(x)∧O(x)∧E(x)) or (  x)(N(x)→(O(x)∧E(x))) 6. formal language, deductive apparatus 7. decidable 8. free 9.Countable (or denumerable) 10. (  x2)( 2 A1 (c1, x2)→ 2 A2 (c1,c2)) 二. Solve the following problems. (each 10 point, total 60 points) 1. DNF: (p∧q∧r) ∨(p∧(～q) ∧r) ∨(p∧(～q) ∧(～r)) ∨((～p) ∧q∧r) ∨((～p) ∧(～q) ∧r) (5 pts) CNF: ((～p) ∨(～q) ∨r) ∧(p∨(～q) ∨r) ∧(p∨q∨r) (5pts) 2. (p→q) is logically equivalent to ～(p∧(～q)) and so to (p|(～q)) (5 pts.) and so to (p|(～q)) (5pts.) 3. Attempt to assign truth values to demonstrate the invalidity of the argument form. Let p take value F and q take value T. (5pts.) Under this assignment of truth values, the other premises, ((～p) →(～q)) takes value F. So it is impossible to assign values so that the premises ate true and the conclusion is false, and this argument is valid. (5 pts.)