习题15.pptVIP

离散数学 习题解答 1、 2、指出下列命题的真值： 3、在一阶逻辑中，将下列命题符号化： （1）凡有理数均可表示为分数。 解：P(x)： x是有理数； Q（x）:x可表示为分数。 在谓词逻辑中基本语句的形式化 （1）“D中所有x都有性质F” （2）“D中有的x具有性质F” （3）“D中所有x而言，如果x有性质F，则x就有性质G” （4）“D中有的x具有性质F，又有性质G” （5）“对于D中的所有x和y而言，若x有性质F,y有性质G，则x与y有关系H” （6）“对于D中的所有x而言，若x有性质F,就存在y有性质G，并且x与y有关系H” （7）“存在D中的x有性质F，并且对D中所有y而言，如果y有性质G，则x与y就有关系H” （8）“D中存在着x与y，x有性质F，y有性质G，并且x与y有关系H” 解：自由变元z，约束为元：x，y。第一个的作用域为 解：无自由变元，约束为元：x，y。 (5) 5．设谓词公式。判定以下改名是否正确 ： 6． (1) 解：真 (2) 解：假 (3) 解：真 (4) 解：真 7.判断下列公式的恒真性和恒假性 (1) 解：恒真 (2) 解：恒真 (3) 解：恒真 (4) 解：恒假 (5) 解：满足 8． (1) (2)