[理学]离散数学PPT课件-第2章 谓词逻辑.pptVIP

第二章 谓词逻辑 本章学习目标 命题逻辑中原子命题是最小的单位，不能够再进行分解，这给推理带来了很大局限性，本章引入谓词逻辑。学习关于谓词逻辑的相关概念和定理，解决实际问题。 主要内容 2.1 谓词逻辑命题的符号化 2.1 谓词逻辑命题的符号化 2.1 谓词逻辑命题的符号化 2.1 谓词逻辑命题的符号化 全称量词 对于日常生活和数学中出现的“一切的”、“任意的”、“所有的”、“每一个”、“都”、“凡”等词统称为全称量词，用符号“?”表示。并用?x，?y表示个体域中的所有个体，用（?x ）F（x），（?y）F（y）等表示个体域中的所有个体具有性质F。 存在量词 对日常生活和数学中常用的“存在”、“存在一个”、“有一个”、“至少有一个”、“有些”、“有的”等词统称为存在量词，用符号“?”表示。并用?x，?y表示个体域中有的个体，用（?x）F（x），（?y）F（y）等表示个体域中有的个体具有性质F。 2.1 谓词逻辑命题的符号化 2.1 谓词逻辑命题的符号化 2.1 谓词逻辑命题的符号化 2.1 谓词逻辑命题的符号化 2.1 谓词逻辑命题的符号化 2.1 谓词逻辑命题的符号化 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.2 谓词逻辑公式与解释 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.3 谓词逻辑约束公式的等价与蕴涵 2.4 前束范式 2.4 前束范式 2.4 前束范式 2.4 前束范式 2.4 前束范式 2.4 前束范式 2.4 前束范式 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 2.5 谓词演算的推理理论 本章小结 解 由于c为特定的个体常元，所以（?x）G（x，c）（即为（?x）（xc））为假命题。按谓词逻辑推理，不能从真命题推出假命题，在以上推理过程中，第三步错误，由于G（z，y）中除有自由出现的y，还有自由出现的z，按ES规则应满足条件（3），此处不能应用ES规则。由于使用了ES规则，导致了从真命题推出假命题的错误。 4．存在推广规则（简称EG规则） P（c）?（?x）P（x） 其中，c为个体域中的个体常元，这个规则比较明显，对于某些个体c，若P（c）成立，则个体域中必有（?x）P（x）。 例2.5.2 证明 ?x（M（x）→ D（x））∧M（s）? D（s）这是 著名的苏格拉底三段论的论证。 其中 M（x）：x是一个人。 D（x）：x是要死的。 s：苏格拉底。 证明 （1）?x（M（x）→ D（x）） P