交大数理逻辑课件4-1谓词逻辑的基本概念幻灯片.pptVIP

* 个体可以是独立存在的人或物体，也可以是抽象的概念，如“马列主义”，“资本主义”等。 * 在谓词逻辑中出现变量，自然也会考虑引入函数。而函数本身的含义和通常微积学里的定义是一致的。 F（x，y，…，z）是以个体变项的个体域为定义域，以{0,1}为值域的n元函数。 * 因为(?x)P(x)与(?y)P(y)，(?x)P(x)与(?y)P(y)都具有相同意义，所以约束变元与表示该变元的符号无关 * E(y,f(x)):y的x的相继后元 * E(y,f(x)):y的x的相继后元 * E(y,f(x)):y的x的相继后元 作业讲评1 第1章习题 P12：2(2)用自然语言叙述：?(P ∧Q) 设P：今天很冷，Q：正在下雪 ?(P∧Q)：今天不是既很冷又下雪 P13：5(7)形式自然语言： 如果水是清的，那么或者张三能见到池底或者他是个近视眼 设P：水是清的， Q：张三能见到池底， R：张本是个近视眼 P?((Qù?R)ú(?QùR)) P ? (Q ? R) 不可兼或 第1章习题 P13：6将下公式写成波兰式和逆波兰式 (1) P?Q ú R ú S ?P ú úQ R S P Q R ú S ú ? ??P ú(WùR) ú?Q ú ??Pú ù W R ?Q 或 ú ú??P ù W R ?Q P ??W R ù ú Q? ú 第4章 谓词逻辑的基本概念 4.1 谓词和个体词 4.2 函数和谓词 4.3 合式公式 4.4 自然语句的形式化 4.5 有限域下公式(?x)P(x)、(?x)P(x) 的表示法 4.6 公式的普遍有效性和判定问题 一阶逻辑 在命题逻辑中最基本的研究对象是命题 一个原子命题是不能再分割的,两个命题之间没有任何内在的联系 这种研究方法显然不足以刻划世界上事物间千变万化的逻辑关系 就连最古老、最简单的苏格拉底三段论也无法从命题逻辑中推出 前提：凡人都是要死的 —— p 苏格拉底是人 —— q 结论：苏格拉底是要死的 ——r p ? q ? r 谓词演算 谓词演算(一阶谓词演算）是命题演算的扩充和发展 一阶谓词演算 是重要的符号逻辑系统 它是程序设计理论、语义形式化及程序逻辑研究的重要基础，是程序验证、程序分析、综合及自动生成、定理证明和知识表示的有力工具。 4.1 谓词和个体词 在谓词演算中，将原子命题分解为谓词和个体两部分。 如： 张三是人。 个体—— 可以独立存在的东西，它可以是一个具体的事物，也可以是一个抽象的概念。 谓词—— 用于刻划个体的性质和个体之间的关系 个体 谓词 个体 考察下面的三个原子命题： ⑴ 李玲是优秀共青团员。 ⑵ 张华比李红高。 ⑶ 小高坐在小王和小刘的中间。 个体的分类 个体常项：表示具体或特定个体的标识符 如 a：李玲，b：张华，c：李红，d：小高，e：小王，f：小刘 个体变项：表示任意个体或泛指某类个体的标识符 如：偶数、生物，用x, y, z表示 个体域D—— 个体变项的变化范围 有限个体域：如{a, b, c}, {1, 2} 无限个体域：如N, Z, R, … 全总个体域: 宇宙间一切事物组成（默认的个体域） 谓词 考察下面的三个原子命题： ⑴ 李玲是优秀共青团员。 ⑵ 张华比李红高。 ⑶ 小高坐在小王和小刘的中间。 谓词:用于刻划个体性质或各个个体的关系，常用大写英文字母表示。 谓词常项： 如：F: …是人，则 F(a)：a是人 谓词变项： 如：F: …具有性质F，则F(x)：x具有性质F 如：可用F，G，H表示上面三个命题中谓词： F：…是优秀共青团员。 G：…比…高。 H：…坐在…和…的中间。 谓词 考察下面的三个原子命题： ⑴ 李玲是优秀共青团员。 ⑵ 张华比李红高。 ⑶ 小高坐在小王和小刘的中间。 如：可用F，G，H表示上面三个命题中谓词： F：…是优秀共青团员。 G：…比…高。 H：…坐在…和…的中间。 谓词的分类 ???? 一元谓词: 刻划一个个体的性质，如谓词F(x) 多元谓词: 刻划两个或以上个体间的关系， 如 L(x,y)：x与y有关系L，L(x,y)：x?y，… 如谓词G(x,y)、H(x,y,z) 0元谓词: 不含个体变项的谓词, 即命题常项或命题变项 F(a) G(b,c) H(d,e,f ) a：李玲，b：张华，c：李红，d：小高，e：小王，