04一阶逻辑基本概念讲解.pptxVIP

第4章 一阶逻辑基本概念;本章说明;引言;本章内容;4.1一阶逻辑命题符号化;个体词及相关概念;个体词及相关概念;谓词及相关概念;谓词及相关概念;例题;例题;量词及相关概念;一阶逻辑命题符号化;PowerPoint 演示文稿;PowerPoint 演示文稿;例题;例题;例题;例题;例题 n元谓词的符号化;一阶逻辑命题符号化时需要注意的;4.2一阶逻辑公式及解释;一阶语言中的字母表;一阶语言中的项;一阶语言中的原子公式;一阶语言F的合式公式;自由出现与约束出现;例题;本书中的记法;闭式;例题4.7;例题4.7;一阶公式的解释;对解释I的几点说明;例题4.8;例题4.8;例题4.8;例题4.8;例题4.8;一阶公式的分类;代换实例;例题4.9;例题4.9;例题;例题;本章主要内容;本章主要内容;本章学习要求;习题选讲—命题符号化;习题选讲—命题符号化;习题选讲—命题符号化;习题选讲—命题符号化;习题选讲—命题符号化;习题选讲—命题符号化;习题选讲—命题符号化;习题选讲—命题符号化;习题选讲—命题符号化;习题选讲—公式判断;PowerPoint 演示文稿;习题选讲—公式判断;作业;习题说明