习题二包含排斥原理烟台大学计算机与控制工程学院.docVIP

习题二：谓词公式与翻译 1. 令P(x)为“x是质数”；E(x)为“x是偶数”；O(x)为“x是奇数”；D(x,y)为“x除尽y”。 把以下各式译成汉语： a) b) c) d) e) f) g) h) 2.令P(x)，L(x)，R(x,y,z)和E(x,y)分别表示“是一个点”，“是一条直线”，“通过和”和“=”。符号化下面的句子。 对每两个点有且仅有一条直线通过该两点。 3.利用谓词公式翻译下列命题。 a）如果有限个数的乘积为零，那么至少有一个因子等于零。 b）对于每一个实数，存在一个更大的实数。 c）存在实数x,y和z，使得与