第二章 谓词逻辑.pptVIP

第二章 谓词逻辑 §1 谓词的概念与表示 §2 命题函数与量词 §3 谓词公式与翻译 §4 变元的约束 §5 谓词演算的等价式与蕴含式 §6 前束范式 §7 谓词演算的推理理论 §1 谓词的概念与表示法 在研究命题逻辑中，原子命题是命题演算中最基本的单位，不再对原子命题进行分解。这样会产生二大缺点：（1）不能研究命题的结构、成分和内部逻辑的特征；（2）也不可能表达二个原子命题所具有的共同特征，甚至在命题逻辑中无法处理一些简单又常见的推理过程。 例：苏格拉底论证是正确的，但不能用命题逻辑的推理规则推导出来。 苏格拉底论证：所有的人总是要死的。 A 苏格拉底是人。 B 所以苏格拉底是要死的。 C §1 谓词的概念与表示法 1.谓词： 《定义》：用以刻划客体的性质或关系的词为谓词。 可把陈述句分解为二部分： 　　　主语（名词，代词）和谓语（动词）。 例：张华是学生，李明是学生，则可把它表示成： 　 H:表示“是学生”，j:表示“张华”，m:表示“李明”，则可用下列符号表示上述二个命题：H(j)，H(m)。 H作为“谓词”（或者谓词字母）用大写英文字母表