离散数学答案 第三章 谓词逻辑.doc

第三章 谓词逻辑 习题3.1 1．解 ⑴个体：离散数学；谓词：…是一门计算机基础课程。 ⑵个体：田亮；谓词：…是一名优秀的跳水运动员。 ⑶个体：大学生；谓词：…要好好学习计算机课程；量词：所有。 ⑷个体：推理；谓词：…是能够由计算机来完成的；量词：一切。 2． 解 ⑴设：x是舞蹈演员；a：小芳。命题符号化：。 ⑵设：x是一位有名的哲学家；a：苏格拉底。命题符号化：。 ⑶设：x作完了他的作业家；a：张三。命题符号化：。 ⑷设：x身体很好；a：我。命题符号化：。 3．解 ⑴选取个体域为整数集合。设：x的平方是奇数；：x是奇数。命题符号化：。 ⑵选取个体域为所有国家的集合。设：x在南半球；：x在北半球。命题符号化：。 ⑶选取个体域为所有人的集合。设：x在中国居住；：x是中国人。命题符号化： ⑷选取个体域为所有人的集合。设：x是艺术家；：x是导演；：x是演员。命题符号化：(x(M(x)(F(x)(G(x))。 ⑸选取个体域为所有猫的集合。设M(x)：x是好猫；F(x)：x捉耗子。命题符号化：(x(M(x)((x(F(x)(M(x))。 4．解 ⑴①设：x喜欢开汽车；：x喜欢骑自行车。命题符号化：。 ②设：x喜欢开汽车；：x喜欢骑自行车；：x是人。命题符号化：。 ⑵①设：x必须学好数学。命题符号化：。 ②设：x必须学好数学；：x是学生。命题符号化：。 ⑶①设：x的平方是质数；：x是质数。命题符号化： 。 ②同①。 ③设：x的平方是质数。命题符号化：。 习题3.2 1．解 ⑴(x的辖域为P(x)(Q(x)，个体变元x是约束变元。 ⑵(x的辖域为P(x)((yQ(x,y)，(y的辖域为Q(x,y)，个体变元x是约束变元，个体变元y是约束变元。 ⑶(x的辖域为F(x,y)，其中个体变元x是约束变元，个体变元y是自由变元；的辖域为Q(x,y)，其中个体变元x是自由变元，个体变元y是约束变元。 2．解 ⑴。 ⑵。 3．解 ⑴((xP(x)((yQ(x))(F(s,z)； ⑵(y(P(s,y)(((zQ(s,z)(R(s,y,v)))((x(rS(x,t,r)。 4．解 ⑴的真值分别为：0，1，0。 ⑵的真值分别为：0，1，0。 ⑶的真值分别为：1，1，1。 ⑷的真值分别为：0，0，0。 5．解 ⑴0。 ⑵1。 ⑶0。 6．解 ⑴设I为任意解释，其个体域为D，若(xP(x)为真，即((xP(x)为假，则((xP(x)((xP(x)为真；若(xP(x)为假，即((xP(x)为真，则就是说在个体域中不存在使得P(x)为真的个体，故(xP(x)为假，即((xP(x)((xP(x)为假。因此((xP(x)((xP(x)仅为可满足式。 ⑵设I为任意解释，其个体域为D，若((xA(x)为假,则(xA(x)为真，就是说对于个体域中任意一个个体A(x)均为真，那么(A(x)必为假，所以(x((A(x))必为假；若((xA(x)为真，即(xA(x)为假，则就是说对于个体域中至少存在一个体使A(x)均为假，那么对于个体域中至少存在一个个体使(A(x)为真，所以(x((A(x))必为真，总之((xA(x)((x((A(x))对于个体域中任意一个个体必为真，即其为逻辑有效式。 ⑶设I为任意解释，其个体域为D，若(x(P(x)(Q(x))为真，即是说在个体域中至少存在一个个体使得P(x)和Q(x)同时为真，此时(x(P(x)((Q(x))可真可假，所以，(x(P(x)(Q(x)) ((x(P(x)((Q(x))可真可假。因此，仅为可满足式。 习题3.3 1．解 ⑴(((xA(x)((xB(x))(((((xA(x)((xB(x)) ((xA(x)(((xB(x))((xA(x)((x(B(x)) ⑵(((xA(x)((B(x)(((xC(x) ((x(A(x)((B(x)((x(C(x) ⑶ (((xA(x)((x(B(x))(((x(A(x)((xB(x))((x(C(x)。 2．证明 ⑴(x(P(x)(Q(x))(((xP(x)((xQ(x)) (((x((P(x)(Q(x))((((xP(x)((xQ(x))((x(P(x)((Q(x))((x(P(x)((xQ(x) (((P(1)((Q(1))(((P(2)((Q(2))(((P(3)((Q(3)))(((P(1)((P(2)((P(3)) (Q(1)(Q(2)(Q(3) (((P(1)(Q(1))(((P(2)(Q(2))