第二章一阶逻辑介绍.ppt

第二章 一阶逻辑§2.1 ;在命题逻辑中,我们把原子命题作;形式逻辑形式逻辑的一般格式就是;（1）凡人都是要死的；（2）苏;原因：命题逻辑不考虑命题之间的;解决这个问题的方法： ;2.1.1 个体、谓词和命题;例2.1：分析下列个命题中的个;（1）?是无理数。解： 个体：;（3）x 与 y 的和等于 z;（4） ?的平方是非负的。 解;2.1.1 个体与个体变元基本;2.1.2 谓词 定义：一个;（1）张三是个大学生解： 个体;（2）陈强与陈佩斯是父子解： ;2.1.3 命题函数 谓词本;可见,在谓词的括号内填入不同的;例如: 给定简单命题函数： ;再如，若L(x,y) 表示“x;例2.3 用谓词(命题函数)分;通常,对于一个命题函数 Q（x;比如:设R（x）：“ x 是大;再如 令G(x，y)： “x;2.1.4 论域(个体域) ;例2.4 用谓词(命题函数)将;(2) 2既是偶数又是素数；;2.1.5 量词例如：有些人是;考察下面两个例子 (它们;（1）所有大学生都热爱祖国； ;（1）有些人是聪明的。（2）并;特别注意：谓词前加上了量词，称;（1）分析命题中表示性质和关系;（4）有些命题的符号化形式不止;定义2.1 一阶语言的;定义2.2一阶语言项的定义如下;有了项的定义，函数的概念就可用;函数的使用给谓词表示带来很大方;定义　谓词逻辑公式（简称公式）;例2.9 将下列命题表示为谓;( 3 ) 猫必捕鼠解：(3);例2.10 用谓词表示下列语句;(2)并非每个实数都是有理数。;一、约束变元、与自由变元与指导;?x（P（x）? ?y Q（x;1. ?x（P（x）? ?y;变元的辖域实际上是可嵌套的，例;2. ?x H（x）∧L（x;3.?x?y（P（x，y）∨Q;换名规则 设A是一公式，;注意：在一公式中，有的个体变元;②自由变元代入规则，对某自由出;换名规则是替换约束变项及相应的;换名规则代入规则对象约束变元自;公式解释 一般情况下，一;带量词的公式在论域内的展开式 ;带量词的公式在论域内的展开式 ;定义2.7 一个解释 I ;例2.12：给定解释I如下：求;例2.12：给定解释I如下：求;例2.12：给定解释I如下：求;公式类型 ① 若一公式在任何解;与命题公式中分类一样， 谓;例2.13：给定解释N如下：(;例2.13：给定解释N如下：(;例2.13：给定解释N如下：(;例2.13：给定解释N如下：(;例2.13：给???解释N如下：(;定义2.8 设A为一公式,若A;定义2.9 设A0是含p1 ,;例2.14 判断下列公式的;例2.15 判断下列各公式的;(3) ?x ?y(P(x,y;(5) ?x ?y F(x,y;例2.16 给定解释I 如下:;(3) ?x?y?zF(f(x;一阶逻辑等值式在一阶逻辑中，有;定义2.10设A，B是一阶逻辑;第二组：1. 消去量词等值式;定理2.1 量词否定等值式的证;定理2.2 量词辖域收缩与;证明: ?x(A(x)?B)?;定理2.2 量词辖域收缩与;上述公式我们只证明三个。证明：;定理2.3 量词分配等值式;?x(A(x)∨B(x))??;例2.16：证明：( P47 ;例2.17：证明下列各式为等值;证：(2)??x(F(x)?G;范式 与命题演算;一阶逻辑中的 任何公式都存在与;例2.18：求下列公式的前束范;例2.18：求下列公式的前束范;例2.18：求下列公式的前束范;至此，下列推理即可解决： ;第二章 小结本章重点掌握内容：;The end of this