习题二包含排斥原理.doc

习题二：谓词公式与翻译 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，使得与之和大于与之积。 4.用谓词公式写出下式。 若＜和＜0，则＞。 5.自然数一共有三条公理。 a）每个数都有唯一的一个数是它的后继数。 b）没有一个数使数1是它的后继数。 c）每个不等于1的数都有唯一的一个数是它的直接先行者。 用两个谓词表达上述三条公理。 6．用谓词公式刻划下述命题。 那位戴眼镜的用功的大学生在看这本大而厚的巨著。 7．取个体域为实数集，函数在点连续的定义是：在点连续，当且仅当对每个＞0，存在一个＞0，使得对所有，若＜，则＜。把上述定义用符号化的形式表达。 8．只用联结词，表示以下的公式。 （1） （2） （3）