离散数学 第三章 一阶逻辑.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. 在引入特性谓词后，使用全称量词与存在量词符号化的形式是不