数理逻辑试题A卷2006—2007.docVIP

数理逻辑试题A卷 2006—2007 哈尔滨工业大学(威海)2006 /2007学年秋 季学期 数理逻辑试题 (A卷) 适用班级(0404101 1—6)(0404201 1-2 ) 题号 一 二 三 四 五 六 七 八 九 十 平时作业 总分 分数 注明:试卷分数为总分80,，平时作业为20,，合计分为100,. 一.将下列各试用前置方式表示出来(共5) 1)(a+(b+c))=((a+d)+c) (1分) 2) (a×(b+c))=((a×b)+(a×c)) (1分) 3)(((a+b)×c)?d)-(e×f) (1分) 4)(3d+4×(ab,4xy ))?((4xyz)?2y)(2分) 二.判别下列各句是否为命题，在括号中回答T与F(每题1分，共10分) 齐次线性方程组是无解的.( ) 请做汽车去～( ) 您复习完了吗,( ) 18是6和3的公倍数。( ) 这句话是假的 。( ) 如果天气好，那么我去到自习室( ) 昨天下雨且昨天打雷。( ) 9不是43的约数。( ) 小张不会德文。( ) 21世纪末，人类将在太空。( ) 三.请用命题演算理论解答下列各式. (每题2分，共14分) 1.将下列句子表示成符号公式. 1)小张不会德文也不会法文 2)如果6大于4，3不大于4，则18不大于16 3) 只有明天上午七点不下雪且不下雨我们才去学校 4) 除非你同我一起或坐公共汽车，否则我不去 5)天黑了我得回家 2. 证明下列等式. 1)?(?p?(?q??r))=(p?q)?(p? r) 2)(p?q)?(p?r)=p?(q?r) 四. 请用谓词演算理论解答下列各式. (每题2分，共12分) 1.将下列句子用谓词填式表示 1)这座大楼建成了 2)这个人正在看那本红皮书 3)没有不犯错误的人 2. 将下列谓词译成句子. , 1)x (R(x)?,(x，0)?=(x，0)?(x，0)) 其中: x大于0表示(x，0) x小于0表示(x，0) x 等于0表示=(x，0),特性谓词x为实数 ,2) x (M(x)?D(x)),M(c)? D(c) 其中: M(x)表示:x是人 D(x)表示:x必死 c表示:张三 , 3)x(?Q(x)?E(x) 其中: Q(x)表示x是奇数 E(x)表示x是偶数 五. 请用谓词演算理论及量词解答下列各式.(每题2分，共16分) 1.指出下列公式中的自由变元，约束变元及约束关系. 2,,， 1)x(x?0?y(x= y?z(z y))) ,，， 2)uz(y?u?u(z y)) 2,，， 3)x y (xz?z (y= z? (x y))) ,，，， 4)y(Xxy?xYx)?x(Xxy?xYx)) 2. 请使用谓词演算表达式表示下列各式. 1) 对于任何一个事业有成者都 是努力工作或是努力学习. 2) 如果您努力学习必对国家有贡献 3) 尽管有人聪明，但未必一切人都聪明. 4) 必须对环境进行治理否则对人类生存产生较大影响 六.采用数理逻辑推理将下面高级语言写成的一段程序化简 (共12分) 1.请化简下列程序段 if A then if B then X (7分) else Y else if B then X else Y 2.请给出将1中程段化简前的流程图 (3分) 3.请给出将1中程段化简后的流程图 (2分) 七.证明下列各式. (每题5分。共15分) 1) 试证: ((P?Q)??Q)? ?P为重言式 2) 试证:P?Q,?P?Q为重言式 3 ) 试证:任一含有?，?，?， ，? 真值连接词的逻辑公式均可由 ?，?及?，?来表示 八) 根据数理逻辑的理论判断程序的正确性请写出I/0断言及中间断言 (每题8分，共16 分) 即:计算两个非负数且不同时为零的整数X1与X2最大公约数Y的程序 1) 请写出输出断言 Program GCD Read(X1，X2) ( )写出输入断言 ( z1， z2)=(X1，X2) While z1?0 do od y= z2 ( )写出输出断言 Write ( y ) End GCD 2) 请写出中间断言 ( z1， z2)=(X1，X2) While( )写出中间断言 If z1?z2 then z2= z2,z1，else ( z1， z2) od ( )写出中间断言 y= z2 2006/2007年秋季学期数理逻辑试题答案 (A卷) 适用班级(0404101 1—6， 0404201 1-2) 一. 1) =+a+bc++abc 2) =×a+bc+×ab×ac 3) -?×，abc