第二章习题.doc.doc

第二章习题 2.1在一阶逻辑中将下列命题符号化. （1）鸟都会飞翔. （2）并不是所有人都爱吃糖. （3）有人爱看小说. （4）没有不爱看电影的人. 2.2 在一阶逻辑中将下列命题符号化，并指出个命题的真值.个体域分别为 （a）自然数集合N（N中含O）. （b）整数集合Z. （c）实数集合R. （1）对于任意的x，均由 2 存在x，使得x+2 0. 3 存在x，使得5x 1. 2.3 在一阶逻辑中将下列命题符号化. （1）每个大学生不是文科生就是理科生. （2）有些人喜欢所有的花. （3）没有不犯错误的人. （4）在北京工作的人未必就是北京人. （5）任何金属都可以溶解在某种液体中. （6）凡对顶角都相等. 2.4在一阶逻辑中将下面命题符号化，并分别讨论个体域限制为 a , b 时命题的真值：??（1）对于任意的x，均有x2-2 x+ x- 。??（2）存在x，使得x+5 9。其中 a 个体域为自然数集合， b 个体域为实数集合。 个体域分别为 （a）实数集合 b 整数集合 c 正整数集合 d （非0 实数集合） 2.6设个体域D a,b,c ，消去下列各式的量词： xy F x ∧G y 2 xy F x ∨G y 3 xF x →yG y 4 x F x,y →yG y 2.7．设个体域D 1,2 ，请给出两种不同的解释I1和I2，使得下面公式在I1下都是真命题，而在I2下都是假命题。?? 1 x F x →G x 2 x F x ∧G x 2.8．给定解释I如下：?? a 个体域D 3,4 。?? b x 为 3 4， 4 3。?? c x,y 为 3,3 4,4 0， 3,4 4,3 1。 试求下列公式在I下的真值：?? 1 xyF x,y 2 xyF x,y 3 xy F x,y →F f x ,f y 2.9．在自然推理系统F中构造下面推理的证明：?? 1 前提：x F x → G a ∧R x ，xF x 结论：x F x ∧R x 2 前提：x F x ∨G x ，┐xG x 结论：xF x 3 前提：x F x ∨G x ，x ┐G x ∨┐R x ，xR x 结论：xF x 2.10．在自然推理系统F中，证明下面推理：?? 1 每个有理数都是实数，有的有理数是整数，因此有的实数是整数。?? 2 有理数、无理数都是实数，虚数不是实数，因此虚数既不是有理数、也不是无理数。?? 3 不存在能表示成分数的无理数，有理数都能表示成分数，因此有理数都不是无理数。 在下具有不同的真值 （2）试给出解释，使得 在下具有不同的真值 2.12给出解释，使下面的两个公式在解释下面为假，从而说明这两个公式都不是逻辑有效式（用真式） 2.13设个体域，在D ｛a,b,c｝ 下D验证量词否定等值式 2.15设个体域，在D ｛a,b,c｝,消去下列公式中的量词。 2.16求下列各式的前束范式，要求使用自由变换换名规则。 2.17 构造下面推理的证明 （1）前提； 结论： 前提：） 结论： 2.18取个体域为整数集，给定下列各公式 在上面的公式中，真命题为A, 假命题为B 供选择的答案 A:① 1 , 3 , 4 , 6 ② 3 , 4 , 5 ③ 1 , 3 , 4 , 5 ④ 3 , 4 , 6 , 7 B:① 2 , 3 , 6 ② 2 , 6 , 8 ③ 1 , 2 , 6 , 7 ④ 2 , 6 , 8 , 7 2.19在一阶逻辑中给出下面4个推理 2.20在一阶逻辑中构造下面的推理证明 每个喜欢步行的人都不喜欢坐汽车， 每个人或者喜欢坐汽车或自行车，有的人不喜欢自行车，所以有的人不喜欢步行。 命题符号化： F x : x 喜欢步行,G x :x 喜欢坐汽车,H x :x 喜欢自行车. 在上述推理中，（2）后用的推理规则为A，（4）后面用的推理规则为B，（5）用的推理规则是（2）（4）所得到的推理规则C,（8）用的推理规则是（5）和（7）得到的推理规则D 供选择的答案 A,B,C,D ① UI,② EI,③ UG,④ EG,⑤拒取式⑥假言推理⑦析取三段论