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

第2章 一阶逻辑 ;例 “苏格拉底三段论” 人都是要死的.(p) 苏格拉底是人.(q) 所以苏格拉底是要死的.(r) 在命题逻辑中，推理的形式结构： （pù q）? r (不是重言式) 原因：命题逻辑中，p、q、r之间的内在联系没有反映出来. 方法：反映p、q、r内在联系，对简单命题进一步分析. ;2.1 一阶逻辑基本概念 ;基本概念——个体词、谓词、量词 ;基本概念 (续); 个体变项和谓词的联合体，F(x),L(x,y)，也称为谓词 n元谓词 L(x1, x2,…, xn)可看作一个函数，定义域为个体变项的个体域，值域为{0,1} n元谓词 L(x1, x2,…, xn)的真值不确定，不是命题, 如：L(x,y) 如果L(x,y)表示 “x小于y”，谓词部分已经是常项，但 还不是命题. 考虑L(2,3)和L(3,2) L(x1, x2,…, xn)是命题：只有当L是常项， x1, x2,…, xn是??体常项 0元谓词: 不含个体变项的谓词, 如L(a, b) 如L的意义明确，则0元谓词都是命题 ;一阶逻辑中命题符号化 ;例1(续);例1(续) （4）如果张明比李民高，李民比赵亮高，则张明比赵亮高. 在命题逻辑中, 设 p：张明比李民高，q：李民比赵亮高, r:张明比赵亮高. 符号化为： p ? q ? r 在一阶逻辑中, 设 F(x,y)：x比y高 a:张明，b:李民，c:赵亮 符号化为： F(a, b) ? F(b, c) ? F(a, c) ;基本概念(续) 量词: 表示数量的词 例如 （1）所有的人都要死的； （2）有的人活一百岁以上； ?全称量词?: 表示任意的, 所有的, 一切的等 ?x 表示对个体域中所有的个体， ?x F(x)表示个体域中所有的个体都有性质F. ?x F(x)，其中F(x)： x是要死的，个体域为人类集合 存在量词?: 表示存在着, 有的, 有一个，至少有一个等 ?x 表示存在个体域中的个体， ?x F(x)表示存在着个体域中的个体具有有性质F ?x G(x)，其中G (x)： x活一百岁以上，个体域为人类集合;如果个体域D为全总个体域，则 ?x F(x)，其中F(x)： x是要死的，表示宇宙间的一切事物都要死的. ?x G(x)，其中G (x)： x活一百岁以上，表示宇宙间的一切事物中存在活一百岁以上的. 特性谓词： M(x): x是人 符号化为： （1）?x （M(x) ? F(x)） （2） ?x （M(x) ? G(x)） 考虑： （1）?x （M(x) ? F(x)） （2） ?x （M(x) ? G(x)）;一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);一阶逻辑中命题符号化(续);例：在一界逻辑中命题符号化 ① 没有不呼吸的人 ② 不是所有的人都喜欢吃糖 ③ 不是所有的火车都比所有的汽车快 ① ? ?x( F(x)? ? G(x)) 其中F(x)：x是人， G(x)：x呼吸 或者：? x( F(x) ? G(x)) ② ? ? x( F(x) ? G(x)) 其中F(x)：x是人， G(x)：x喜欢吃糖 或者： ?x( F(x)? ? G(x)) ③? ? x( F(x) ? ? y (G(y) ?H(x,y)) ) 或者： ?x( F(x)? ? y (G(y) ? ? H(x,y)) );例：在一界逻辑中命题符号化 ① 一切人都不一样高 ② 每个自然数都有后继数 ③ 有的自然数无先驱数 ① ? x ? y( F(x) ? F(y) ? G(x,y) ? ? H(x,y)) 其中F(x)：x是人， G(x,y) :x和y不是同一个人， H(x,y)： x和y一样高 或者： ? ? x ? y( F(x) ? F(y) ? G(x,y) ? H(x,y)) ② ? x( F(x) ? ?y(G(y) ? H(x,y)) 其中F(x)：x是自然数， H(x,y) ：y