大学、数理逻辑.pptVIP

数理逻辑－谓词逻辑 教师：孙继荣 电话Email:sunjirong@126.com 数理逻辑－谓词逻辑 学习内容 谓词逻辑基本概念 谓词，个体词，命题函数 量词，自由变元和约束变元 谓词的合式公式，谓词的解释 自然语句的形式化 谓词逻辑的等值和推理演算 谓词逻辑的等值式 范式，基本推理公式 推理演算。 数理逻辑－谓词逻辑 教学要求 理解谓词、量词、变元、个体域等概念 掌握用谓词、量词、联结词构造谓词逻辑公式的方法 掌握谓词公式在给定解释下求真值的方法 会将谓词逻辑化为前束公式 会将谓词逻辑作为工具，将命题符号化，并能用推理规则进行逻辑证明。 2.1 谓词逻辑基本概念 个体词与谓词 在谓词逻辑中，原子命题分解成个体词和谓词 定义：个体词是可以独立存在的客体，它可以是具体事物或抽象的概念 ；个体域是个体（客体）的取值范围；谓词是用来刻划个体词的性质或事物之间的关系的词 大写字母表示谓词，小写字母表示个体（客体） 注意：单独的个体词和谓词不能构成命题，将个体词和谓词分开不是命题. 2.1 谓词逻辑基本概念 个体词与谓词 谓词也称为命题函数或简单命题函数 相关概念：零元谓词，n元谓词，全总个体域，复合命题函数 命题是谓词的特殊情况 2.1 谓词逻辑基本概念 全称量词与存在量词 量词是在命题中表示数量的词 量词有两类： 全称量词?，表示“所有的”，