离散数 第三章 一阶逻辑.pptVIP

第三章 一阶逻辑;一阶逻辑基本概念 ;谓词逻辑（一阶逻辑）的引入;§3.1 一阶逻辑基本概念 ;基本概念——个体词、谓词、量词 ;基本概念 (续);实例;一阶逻辑中命题符号化 ;例1(续);将下列命题符号化, 并讨论其真值: (1) 对任意的x, 均有x2-3x+2=(x-1)(x-2) (2) 存在x, 使得x+5=3 分别取(a) 个体域D1=N, (b) 个体域D2=R 解 记F(x): x2-3x+2=(x-1)(x-2), G(x): x+5=3 (a) (1) ?x F(x) 真值为1 (2) ?x G(x) 真值为0 (b) (1) ?x F(x) 真值为1 (2) ?x G(x) 真值为1 ;基本概念(续);一阶逻辑中命题符号化(续);几点注意：1.谓词的记法;例:若x的论域为某大学的全体学生，则S(x)为真； 若x的论域为某中学的全体学生，则S(x)为假； 若x的论域为某剧场中的观众，则S(x)真值不确定；;例 将下列命题符号化 : (1)小李比小赵高. (2)武汉位于北京和广州之间;例：将命题符号化: 凡有理数均可表成分???, (1) 个体域是有理数集合. (2) 个体域是实数集合;5. 在引入特性谓词后，使用全称量词与存在量词符号化的形式是不同的。;例：对任意的x，存在着y,使得x+y=5, 个体域为实数集，其中H(x,y)：x+y=5， ?x?yH(x,y) 真命题 如果颠倒量词的顺序， ?y?xH(x,y) 假命题 意为“存在着y，对任意的x，都有x+y=5”，意义不符、假命题。;一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);§3.1.4 一阶逻辑公式及分类;字母表 ; 字母表中的函数;项 ;原子公式 ;合式公式 ;个体变项的自由出现与约束出现 ;例3;公式的解释与分类 ;解释 ;解释 (续);解释(续);例1(续);解释 (续);公式的分类 ;代换实例(续);代换实例 ;代换实例(续);§3.2一阶逻辑等值演算;等值式与基本等值式 ;等值式与基本等值式 ;实例;实例;基本的等值式(续);基本等值式(续);基本的等值式(续);基本的等值式(续);等值演算的三条原则;换名规则与代替规则;;前束范式 ;公式的前束范式 ;公式的前束范式(续);例(续);例(续);例(续);一阶逻辑推理理论;推理 ;重要的推理定律 ;推理规则 ;推理规则(续);推理规则(续);推理规则(续);推理规则(续);构造推理证明 ;构造推理证明(续);例2(续);构造推理证明(续);构造推理证明(续);构造推理证明(续)