b离散数学第二章课件.pptVIP

* 谓词逻辑 令N(x):x是自然数。I(x):x是整数。 ?表示所有的。 A: (?x)(N(x)→I(x))B :N(8) C :I(8) N(8) ?I(8) 推理如此实现： N(8)→I(8) 符号 S(x)、N(x)、I(x)就是所谓的谓词。 * 谓词逻辑 本章介绍的谓词逻辑，对原子命题的成份、结构和原子命题间的共同特性等作了进一步分析。引入了客体词、谓词、量词、谓词公式等概念，在此基础上研究谓词公式间的等值关系和蕴含关系，并且对命题逻辑中的推理规则进行扩充和进行谓词演绎。 * P Q P和Q没有任何逻辑联系 两句话的共同特征: “是大学生” 主语+谓语 P: “是大学生” 某某人 P(小陈) ;P(小林) P称为谓词 小陈、x是客体 P(x)是命题函数 P(x): x是大学生 小陈是大学生 小林是大学生 * 2-3 谓词公式及命题符号化 找出并准确地使用恰当的量词 用恰当的联结词把命题表示出来 多个量词出现时，顺序不可随意调换 注意：符号化形式不唯一 命题的符号表达式与论域有关系。例如 1.每个自然数都是整数。 (1).如果论域是自然数集合N，令 I(x)：x是整数，则命题的表达式为 (?x)I(x) * 2-3 谓词公式及命题符号化 (2).如果论域扩大为全总个体域时，上述表达式(?x)I(x)表示“所有客体都是整数”，显然这是假的命题