七章节 谓词逻辑.pptVIP

第七章 谓词逻辑;为何引入谓词逻辑;为何引入谓词逻辑;谓词逻辑 ;1. 谓词;个体词的分类;个体域（或论述域）;谓词的函数表示;复合命题函数;n元谓词元数;命题函数与命题;命题函数的定义域和值域;谓词逻辑 ;量词的引入;量词;量词举例;全称量词和存在量词与联结词的搭配;个体域与命题的符号化;量化的命题函数与命题;量词的顺序;带量词的命题符号化举例（1）;带量词的命题符号化举例（2）;命题符号化举例（3）;消去量词;消除量词举例;量化的谓词函数的翻译例;谓词逻辑 ;谓词演算的原子公式;谓词合式;谓词合式举例;谓词逻辑 ;约束元和自由元;约束元与自由元举例（1）;变元的约束讨论;谓词逻辑 ;约束变元的改名规则;约束变元的改名规则;自由变元的代入规则;课堂练习：;作业：