离散数学-z耿素云ppt(第5版)2.1-2.pptVIP

* 第2章 一阶逻辑 2.1 一阶逻辑基本概念 2.2 一阶逻辑合式公式及解释 2.3 一阶逻辑等值式与前束范式 * 2.1 一阶逻辑基本概念 个体词 谓词 量词 一阶逻辑中命题符号化 命题逻辑的局限性 苏格拉底三段论： 凡是人都要死的. 苏格拉底是人. 所以苏格拉底是要死的. 在命题逻辑中，只能用p、q、r表示以上3个命题， 上述推理可表成 (p∧q)→r 这不是重言式 * * 基本概念——个体词、谓词、量词 个体词（个体）: 所研究对象中可以独立存在的具 体或抽象的客体 个体常项：具体的事物，用a, b, c表示 个体变项：抽象的事物，用x, y, z表示 个体域: 个体变项的取值范围 有限个体域，如{a, b, c}, {1, 2} 无限个体域，如N, Z, R, … 全总个体域: 宇宙间一切事物组成 * 基本概念 (续) 谓词: 表示个体词性质或相互之间关系的词 ???? 谓词常项：F(a)：a是人 ???? 谓词变项：F(x)：x具有性质F ???? 一元谓词: 表示事物的性质 多元谓词(n元谓词, n?2): 表示事物之间的关系 如 L(x,y)：x与y有关系L