第2章习题谜底.docVIP

习题 1.用谓词和量词将下列语句符号化： (1)没有不犯错误的人。 (2)并非一切推理都能用计算机完成。 (3)每个计算机系的学生都学离散数学。 (4)任何自然数都有惟一的一个后继数。 (5)对每一个x和y，有一个z，使x＋y＝z。 (6)对任何整数x和y，若xy＝0，则x＝0或y＝0。 (7)至多存在一个偶素数。 (8)不存在既是奇数又是偶数的自然数。 (9)有些有理数是实数但不是整数。 (10)对于每一个实数x，存在一个更大的实数y。 解 (1)设F(x)表示“x犯错误”，N(x)表示“x为人”，则此语句符号化为：??x(N(x)∧?F(x))。 (2)设F(x)表示“x是推理”，M(x)表示“x是计算机”， H(x，y)表示“x能由y完成”，则此语句符号化为：??x(F(x)?? y M(y)∧H(x，y))。 (3)设C(x)表示“x是计算机系的学生”，D(x)表示“x学习离散数学”，则此语句符号化为：?x(C(x)? D(x))。 (4)因原语句与“一切自然数x，都有一个自然数y，使得y是x的后继数；并且对任意自然数x，当y和z都是x的后继时，则有y＝z”的意思相同，所以原语句可符号化为： ?x(N(x)?? y(N(y)∧M(x，y)))∧?x?y?z(N(x)∧N(y)∧N(z)?(M(x，y)∧M(x，z)?( y＝z))) 其中N(x)表示x是自然数，M(x，y)表示y是x的后继数。 (5)设S(x，y，z)表示“x＋y＝z”，则此语句符号化为：?x?y?z S(x，y，z)。 (6)设Z(x)表示“x是整数”，S(x，y)表示“xy＝0”，T(x，y)表示“x＝y”，则此语句符号化为：?x?y(Z(x)∧Z(y)?(S(x，y)? T(x，0)∨T(y，0)))。 (7)设E(x)表示“x是偶数”，P(x)表示“x是素数”，S(x，y)表示“x＝y”，则此语句符号化为：?x(E(x)∧P(x)??y(E(y)∧P(y)? S(x，y)))。 (8)设E(x)表示“x是偶数”，O(x)表示“x是奇数”，N(x)表示“x是自然数”，则此语句符号化为：??x(E(x)∧O(x)∧N(x))。 (9)设R(x)表示“x是实数”，Q(x)表示“x是有理数”，Z(x)表示“x是整数”，则此语句符号化为：?x(R(x)∧Q(x)∧?Z(x))。 (10)设R(x)表示“x是实数”，Q(x，y)表示“y大于x”，则此语句符号化为：?x(R(x)???y(R(y)∧Q(x，y)))。 2.设个体域是全体整数集Z，令P(x，y，z)：xy＝＝＝＝＝＝＝＝??x P(x，y，x))。 (2)符号化为：?x?y(?P(x，y，0)?(?E(x，0)∧?E(0，y)))。 (3)符号化为：?x?y(?P(x，y，0)?(E(x，0)∧E(0，y)))。 (4)符号化为：?x?y(((E(x，y)∨G(y，x))∧((E(x，y)∨G(x，y)))? E(x，y))。 3.设个体域为自然数集N，令P(x)：x是素数；E(x)：x是偶数；O(x)：x是奇数；D(x，y)：x整除y。将下列各式译成自然语言： (1)?x(E(x)∧D(x，6))。 (2)?x(O(x)??y(P(x)??D(x，y)))。 (3)?x(?E(x)??D(2，x))。 (4)?x(E(x)??y(D(x，y)?E(y)))。 解 (1)存在x，x是偶数，且x整除6。 (2)对任意x，如果x是奇数，则对任意y，若y是素数，则x不整除y。 (3)对任意x，如果x不是偶数，则2不整除x。 (4)对任意x，如果x是偶数，则对任意y，若x整除y，则y是偶数。 4.指出下列公式中量词的辖域，并指出个体变元是约束变元还是自由变元： (1)?x(P(x)∧?xQ(x))∨?x(P(x)?Q(x))。 (2)?x(P(x，y)∧?yQ(y))∧(?xR(x)?Q(x))。 (3)?x(P(x，y)∨Q(z))∧?y(R(x，y)? ?zQ(z))。 解 (1)在公式?x(P(x)∧?xQ(x))∨(?x(P(x)?Q(x))中，第一次出现的?x的辖域为P(x)∧?xQ(x)，?x的辖域为Q(x)，而第二次出现的?x的辖域为P(x)?Q(x)。公式中只出现了变元x，所有x都是约束变元。 (2)在公式?x(P(x，y)∧?yQ(y))∧(?xR(x)?Q(x))中，第一次出现的?x的辖域为P(x，y)∧?yQ(y)，而第二次出现的?x的辖域为R(x)，?y的辖域为Q(y)。P(x，y)中的y是自由变元，x是约束变元。Q(y)中的y是约束变元。R(x)中的x是约束变元，而Q(x)中的x是自由变元。 (3)在公式?x(P(x，y)∨Q(z))∧?y(R(x，y)? ?zQ(z)