第四章 一阶逻辑基毙戮概念.pptVIP

第四章 ;上一节的复习自然推理系统 P;上一节的复习（续）自然推理系统 P（续）;上一节的复习（续）（练习）;;引言;引言（续）;引言（续）;4.1. 一阶逻辑命题符号化;个体词 ;个体词（续）;谓词;例;例（续）;例（续）;n元谓词 ;0元谓词 ;例4.1. 将命题在一阶逻辑中用0元谓词符号化，并讨论其真值;例4.1（续，练习）;量词;全称量词 ;存在量词;一阶逻辑命题符号化 ;例4.2（续） (1) 凡人都呼吸。(2) 有的人用左手写字。;例4.2（续） (1) 凡人都呼吸。(2) 有的人用左手写字。;例4.2（续，分析与总结）;例4.2（续，分析与总结）;例4.2（续，分析与总结）;例4.4. 将下列命题符号化，并讨论真值 ;例4.4. (1)所有的人都长着黑头发;例4.4. (1)所有的人都长着黑头发（续）;例4.4. (3)没有人登上过木星;(2)有的人登上过月球（练习） (4)在美国留学的学生未必都是亚洲人;例4.5 将下列命题符号化;例4.5（续）;例4.5（续）;N元谓词符号化;课后作业;4.2. 一阶谓词公式及其解释;符号;一阶语言（定义4.1-4.4）;一阶语言（续）;一阶语言（续）;一阶语言（续）;一阶语言的相关说明;自由与约束 ;自由与约束（续）;闭公式;一阶公式的解释;一阶公式的解释（续）;一阶公式的解释（续）;一阶公