22一阶谓词逻辑表示法 阶谓词逻辑表示法是一种基于数理逻辑的表示方法。 数理逻辑是一门研究推理的学科。可分为: 阶经典逻辑:一阶经典命题逻辑,一阶经典谓词逻辑 非一阶经典逻辑:指除经典逻辑以外的那些逻辑,例如:二阶逻 辑,多值逻辑,模糊逻辑等 主要讨论 一阶谓词逻辑表示的逻辑学基础 命题和真值;论域和谓词;连词和量词; 项与合式公式;自由变元与约束变元 ●谓词逻辑表示方法 谓词逻辑表示的应用 谓词逻辑表示的特性主要讨论 ⚫ 一阶谓词逻辑表示的逻辑学基础 ⚫ 命题和真值；论域和谓词；连词和量词； ⚫ 项与合式公式；自由变元与约束变元 ⚫ 谓词逻辑表示方法 ⚫ 谓词逻辑表示的应用 ⚫ 谓词逻辑表示的特性 一阶谓词逻辑表示法是一种基于数理逻辑的表示方法。 数理逻辑是一门研究推理的学科。可分为： 一阶经典逻辑：一阶经典命题逻辑，一阶经典谓词逻辑 非一阶经典逻辑：指除经典逻辑以外的那些逻辑，例如：二阶逻 辑，多值逻辑，模糊逻辑等。 9