数理逻辑答案A卷2006-2007.doc

2006/2007年秋季学期数理逻辑试题答案 （A卷） 适用班级（0404101 1—6， 0404201 1-2） 1） =+a+bc++abc 2） =×a+bc+×ab×ac 3） -÷×＋abcd×ef 4）÷＋×3d×4－×ab××4xy÷×××4xyz÷×2y 二 T，F，F，T，F，T，T，T，T，T. 三 1： 1）p：设小张不会德语q：设小张不会法语 原式可表示为：p≡q 2）p：设6＞4 q：设3≠＞4 r：设8≠＞16 原式可表示为：（p∧q）→r 3）设p：明天上午七点不下雪 q：明天上午七点部下雨 r：我去学校 原式可表示为：（p∧q）→r 4）设p：你不和我一起 q：座公共汽车 r：我不去 原式可表示为：（┐p∧q）→r 5）设p：天黑了 q：我回家 原式可表示为：p≡q 注明：这种答案不是唯一的，是根据每个人逻辑设计不同而不同。 2：1）┐（ ┐p∧┐（q ∧r）） = p∨（q ∧r） =（p ∨q）∧（p ∨r） 2）=（ ┐p∨q）∧（┐p ∨r） = ┐p∨q∧r =（p→q）∧r 四1：1）F（x）表示：x建成了 G（x）表示：x是大的 H（x）表示：x是大楼 则可表示为：F（x）∧G（x）∧H（x） 2）F（x，y）表示：x正看y G（x）表示：x是人 H（y）表示：y是红皮的 U（y）表示：y是书 a表示这个 b表示那个 则全句可表示为：F（a，b）∧G（a）∧H（b）∧U（b） 3）设F（x）为：x犯错误 其特性谓词为M（x）：表示x为人 则此句可表示为：┐ヨx（M（x）∧┐F（x）） 2： 1）任何一个实数或大于0或小于0或等于0 2）推理三段论：凡人必死，张三是人，故张三必死。 3）对任意自然数不是奇数则是偶数。 五 1：1）x、y、z约束变元 约束关系为若x2大于等于0并且对所有的y、x等于y并且z大于y 2）u、z约束变元y为自由变元 约束关系为对于一切变元u都存在一个z使得z大于y 3）x、y、约束变元z即为约束变元又为自由变元 其约束关系为x大于z 存在y= z或者x2大于y 4）y为约束变元x为约束变元也为自由变元 其约束关系为如果二元谓词X（x，y）且谓词Y（x）则有X（x，y）等价Y（x） 1）xN（x）≡G（y）∨G（z） 设N为…有成，x表示事业 G表示…努力 Y表示工作 Z表示学习 2）N（x）→G（y） 3）ヨxN（x）→x（（┐N（x）） 4）N（x）∧G（x）→┐（N（x）∧G（x））∧R（x） 六 1）根据所给程序有：此程序执行x之前的条件为： A∧B∨┐A∧B 执行y之前的条件为： A∧┐B ∨┐A∧┐B 所以 A∧┐B ∨┐A∧┐B = B∧A∨B∧┐A = B∧（A∨┐A ） =B∧T = B A∧┐B ∨┐A∧┐B = ┐B∧ A∨┐B∧┐A =┐B∧ （A∨┐A） =┐B∧T = T∧┐B =┐B 故此简化为：if B then x elde y T F T F T F 3） T F 八 1：1）（x1 ≥0∧x2≥0∧（x1≠0∨x2≠0）） （输入断言） 2）y=MAXu（u≒x1∧u≒x2）） （输出断言） 2：1）（z1≥0∧z2≥0）∧（z1≠0∨z2≠0）∧MAXu（u≒z1∧u≒z2）= MAXu（u≒x1∧u≒x2）） （中间断言） 2）（z1≥0∧z2≥0）∧（z1≠0∨z2≠0）∧MAXu（u≒z1∧u≒z2）= MAXu（u≒x1∧u≒x2））因进入循环起点， （中间断言） 3）（z2= MAXu（u≒x1∧u≒x2）） （中间断言） A B B X