第二章-高级数理逻辑.pptxVIP

第2章 一阶逻辑;命题逻辑的局限性;2.1 一阶逻辑基本概念;基本概念——个体词、谓词、量词;基本概念 (续);基本概念(续);一阶逻辑中命题符号化;例(续);一阶逻辑中命题符号化(续);PowerPoint 演示文稿;一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);2.2 一阶逻辑公式及解释;字母表;项;原子公式;合式公式;个体变项的自由出现与约束出现;PowerPoint 演示文稿;换名规则;公式的解释与分类;解释和赋值;实例;例(续);公式的分类;代换实例;实例;例(续);例(续);例(续);2.3 一阶逻辑等值式与前束范;等值式与基本等值式;基本的等值式(续);PowerPoint 演示文稿;基本等值式(续);PowerPoint 演示文稿;基本的等值式(续);举例说明?对?无分配律，?对?;基本的等值式(续);前束范式;公式的前束范式;例(续);例(续);例(续);苏格拉底三段论的正确性