第4章_谓词逻辑.ppt

第4章 谓词逻辑 ;苏格拉底三段论;本章内容 ;4.1 本章学习要求 ;4.2 谓词逻辑中的基本概念与表示 ;谓词;个体词与谓词;个体词的分类;例子;个体域;n元谓词;例4.2.1;结论 ;结论（续）;4.2.2 量词;量词含义;全称量词与存在量词;（1）所有的老虎都要吃人； （2）每一个大学生都会说英语； （3）所有的人都长着黑头发； （4）有一些人登上过月球； （5）有一些自然数是素数。 ;不便之处;不便之处(续);不便之处的根源;特性谓词;谓词逻辑符号化的两条规则;特性谓词的例子;例4.2.3;例4.2.3(续);例4.2.3(续);例4.2.3(续);4.2.3 谓词的语言翻译;个体域可数或有限;例4.2.5;4.2.4 谓词翻译难点 ;谓词翻译难点（续）;例4.2.4 将下列命题符号化 （1）兔子比乌龟跑得快； （2）有的兔子比所有乌龟跑得快； （3）并不是所有的兔子都比乌龟跑得快； （4）不存在跑得同样快的两只兔子。 ;例4.2.5;例4.2.6;4.3 谓词合式公式与解释 ;符号定义;为何需要函数符号？;项与原子公式;定义4.3.3;例子;4.3.2 自由变元和约束变元;例4.3.1;例4.3.1（续）;变元混淆;两个规则;例4.3.2;改名规则和代入规则的关系;改名规则和代入规则的关系（续）;闭式的定义;4.3.3 谓词合式公式的解释;公式的解释;例4.3.3;例4.3.3（续）;例4.3.4;例4.3.4（续）;4.3.4 谓词合式公式的分类;例4.3.5（续）;例4.3.6;谓词合式公式的分类;公式之间的关系;谓词逻辑的判定问题 ;谓词公式的可判定性;4.3.5 谓词合式公式的基本等价关系;谓词演算中的有效公式 ;谓词演算中的有效公式（续）;例1;例2;例2（续）;4.3.6 谓词合式公式难点;4.3.7 谓词合式公式的应用;例4.3.8;例4.3.8（续）;4.4 公式的标准型——范式 ;4.4.1 前束范式;前束范式的转换方法;例4.4.1;例4.4.1（续）;4.4.2 Skolem标准型 ;例4.4.2;1、(1),(3),(5),(7),(9),(11) 2、(2),(4),(5) 3、(7),(8) 4、(4),(6) 5、(1),(3),(5) 6、(2),(3) 7、(1),(3),(5) 10、(7),(8),(9),(10);Thank You !