离散数学课件 第2章 谓词逻辑.pptxVIP

1;本章内容;;类似的还有很多，例如：

所有的人都要呼吸，李华是人，所以李华要呼吸。

所有的正整数都大于0，3是正整数，所以3大于0。

本章介绍的谓词逻辑，对原子命题的成份、结构和原子命题间的共同特性等作了进一步分析。引入了个体词、谓词、量词、谓词公式等概念，在此基础上研究谓词公式间的等值关系和蕴含关系，并且对命题逻辑中的推理规则进行扩充和进行谓词演绎。

;2.1.1个体、谓词和谓词形式;谓词和个体;谓词和个体;谓词和个体;个体域;谓词的阶;2.1.2量词;全称量词;存在量词;量词;量词;量词;;2.1.3谓词逻辑的合式公式;合式谓词公式;2.1.4自由变元和约束变元;自由变元和约束变元;