数理逻辑词逻辑.pptVIP

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