离散数学谓词逻辑资料.ppt

谓词逻辑习题课 第九周 2014.11 命题符号化 讨论在给定解释下谓词公式的真值 判断公式是不是永真式，并加以说明 转换前束合取范式 推理证明 1.将下列命题符号化 (1)没有不犯错误的人 (2) 发光的不都是金子 (3) 一切人都不一样高 (4) 并不是所有的汽车都比火车快 (5)不管黑猫白猫，抓住老鼠就是好猫 (6)有唯一的偶素数 (7)对平面上任意两点，有且仅有一条直线通过这 两点 (1) 没有不犯错误的人 ① 存在不犯错误的人是不可能的。 ② 只要是人，必然犯错误。 设 M(x): x是人，F(x):x犯错误 命题符号化为① ┐(?x)(M(x)∧┐F(x)) ② (?x)(M(x)→F(x)) (2) 发光的不都是金子 ① 不是发光的东西都是金子。 ② 存在着发光的东西不是金子。 设 L(x)：x是发光的东西，G(x)：x是金子。 命题符号化为 ① ┐(?x)(L(x)→G(x)) ② (?x)(L(x)∧﹁G(x))  (3) 一切人都不一样高 设 F(x):x是人, H(x,y), x与y相同, L(x,y): x与y一样高， 命题符号化为 (?x)(F(x)?