数理逻辑题部分解答.docVIP

一、命题逻辑 3．将下列命题符号化。 （）（）（）。 （5）设P：天气很好；Q：老王来； 则命题可符号化为：。 （7）设P：停机的原因在于语法错误； Q：停机的原因在于程序错误。 则命题可符号化为：。 4．设命题P：这个材料很有趣；Q：这些习题很难；R：这门课程使人喜欢。将下列句子符号化。 （4）（5） （5）或者 12．用基本等价公式的转换方法验证下述论断是否有效。 （1）P→Q,R∧S,┐QP∧S；（）┐(P∧┐Q),┐Q∨R,┐Q┐P；（）P,Q→R,R∨SQ→S （2） （3） 14．符号化下列论断，并用演绎法验证论断是否正确。 （）有红、黄、蓝、白四队参加足球联赛。如果红队第三，则当黄队第二时，蓝队第四；或者白对不是第一，或者红队第三；事实上，黄队第二。因此，如果白队第一，那么蓝队第四；，， ① ② ③ ④ ⑤ ⑥ ⑦ ⑧ P P（附加前提） T，①，②，I P T，③，④，I P T，⑤，⑥，I CP，②，⑦ （）如果6是偶数，则2不能整除7；或者5不是素数，或者2整除7；5是素数。因此，6是奇数；，， ① ② ③ ④ ⑤ ⑥ ⑦ ⑧ P（附加前提） T，①，E P T，②，③，I P T，④，⑤，I P T，⑥，⑦，I （）若今天是星期二，那么我要考计算机科学或经济学；若经济学教授病了，就不考经济学；今天是星期二，并且经济学教授病了。所以，我要考计算机科学；，， ① ② ③ ④ ⑤ ⑥ ⑦ ⑧ P T，①，I P T, ②,③,I P T, ①,I T, ⑤,⑥,I T, ④,⑦,I 二、谓词逻辑 用谓词和量词，将下列命题符号化。 （4）会叫的狗未必会咬人； （5）每个人的外祖母都是他母亲的母亲； （6）任何金属均可溶解于某种液体之中； 解：（4）设：D(x)：x是会叫的狗，R(x)：x是会咬人的狗。 则上述句子可符号化为： （5）设H(x)：x是人，G(x,y)：x是y的外祖母，M(x,y)：x是y的母亲。 则上述句子可符号化为： （6）设：P(x)：x是液体，G(x)：x是金属，R(x,y)：x溶解y。 则上述句子可符号化为： 8．求下述公式的前束范式和Skolem范式。 （1）((y) (P(x)→((y)Q(x, y))；（3）((x) P(x,y)((z)Q(z)；（5）((y)((x)((z)((u)((v)P(x, y, z, u, v)。 求Skolem范式 （3）求前束范式 求Skolem范式 11．指出下列推导中的错误，并加以改正。 （1）① ((x)P(x)→Q(x) P ② P(y)→Q(y) US,① 解：，在第①步中的量词((x)就辖域为P(x)，而非P(x)→Q(x)，所以消去量词时，不能直接使用US规则。正确的推导可为： ① ((x)(P(x)→Q(x)) P ② P(y)→Q(y) US,① （）① P(x)→Q(c) P ② ((x)(P(x)→Q(x)) EG,① 解：在第①步中x是以自由变元的身份出现，所以在对个体常量加入量词时，该量词的变元符号不能在原公式中以自由变元的身份出现。正确的推导可为： ① P(x)→Q(c) P ② ((y)(P(x)→Q(y)) EG,① （）① ((x)((y)(x＞y) P ② ((y)(z＞y) ＵS,① ③ (z＞c) ES,② ④ ((x)(x＞c) ＵG,③ ⑤ c＞c US,④ 解：由于在第②步中含有自由变元符号z，所以在消去量词((y)时，应选的常量符号为含有z作为下标的常量符号。正确的推导可为： ① ((x)((y)(x＞y) P ② ((y)(z＞y) ＵS,① ③ (z＞) ES,② （）① ((x)((y)(x＞y) P ② ((y)(z＞y) ,① ③ (z＞cZ) ES,② ④ ((x)(x＞x) ,③ 解：在第③步中，常量符号中的z是一个下标符号，因此，不能对下标z使用UG规则。正确的推导可为：