lisan2006a答案.doc

试卷（A）答案 选择题（30’，每题3’，第九题都算对） A A D B B A A C √ D 在错误答案上划\，在题号上写得分。 试卷（A）答案 填空题（1~5题共10’, 每题2’） (T, F) /（1，0） (T, F)，(F, T) /（1，0），（0，1） p∧q r( ((p∧(q) /(p∨q) ((r ((p∨q) ∧ (p∨(q) 注：在错误答案上划\，在第1题题号上写得分。1~5题共10’ 试卷（A）答案 二、填空题（6~10题共10’ , 每题2’） (p∧q∧r)∨(p∧(q∧r)∨((p∧q∧r)∨((p∧q∧(r) {(P∨Q∨(R, (P∨Q∨(S, P∨(Q∨(R, R, (P∨(Q, P∨Q} A是不可满足的 /永假的 /矛盾的. 10．A是合式公式 / 无条件 注：在错误答案上划\，在第6题题号上写得分。6~10题共10’ 试卷（A）答案 三.(5)证明{↑}是联结词的完备集。 (2) ( P= P↑P (2) P∧Q= ( (P↑Q)= (P↑Q) ↑ (P↑Q) (1) {(,∧}是联结词的完备集,能表示所有的真值函数， 所以{↑}是联结词的完备集 试卷（A）答案 四. (5)试计算在所给定的解释下公式(x)(A(x)(B(x)) ((x)(y)(A(x)(B(y))所取的值 : 域I={1,2,3,4,5},A(x)：x2 , B(x)：x为偶数 在所给定的解释下 (2) (x)(A(x)(B(x))=T /如果缺少此步,后面正确也可得满分. (2) (x)(y)(A(x)(B(y))=T (1)故: 整个公式取值为 T 试卷（A）答案 五．使用推理规则证明： (10)1. (α∧β) ((α∧(β∨γ)) 证明： α∧β 前提 α (1) 永真蕴含 β (1) 永真蕴含 β∨γ (3) 永真蕴含 α∧(β∨γ) (2)，(4) 置换 注：每步2分 试卷（A）答案 五．使用推理规则证明： (10)2. 证明： 证明序列为： 前提 (2) (1) 全称量词消去 (3) 前提 (4) (3) 全称量词消去 (5) (2)，(4) 分离 (6) (5) 永真蕴含 (7) (5) 永真蕴含 (8) (2), (7) 置换 (9) (8) 存在量词引入 (10) (6)，(9) 置换 注：每步1分 试卷（A）答案 六．使用归结法证明： (10)1．((α→(β→γ))∧((δ∨α)∧β) →(δ→γ) (α∨(β∨γ (δ∨α β δ (γ (α∨γ (1)(3)归结 α (5)(6)归结 γ (6)(7)归结 □ (5)(8)归结 注：归结子句集对得 5分，错一个扣1分，后面不得分。 归结步骤错一个扣1分，全错扣5分 试卷（A）答案 六．使用归结法证明： (10)2．(x) (F(x) ∧S(x)) ((y) (M(y) (W(y)) , (y) (M(y) ∧(W(y)) ( (x) (F(x) ((S(x)) (1) (F(x) ∨(S(x) ∨(M(y) ∨W(y) (2) M(a) (3) (W(a) (4) F(b) (5) S(b) (6) (S(b) ∨(M(y) ∨W(y) (1)(5)归结 (7) (M(y) ∨W(y) (5)(6)归结 (8) W(a) (2)(7)归结 (9) □ (3)(8)归结 注：归结子句集对得 5分，错一个扣1分，后面不得分。 归结步骤错一个扣1分，全错扣5分