[工学]第二章一阶逻辑.ppt

作业 P59(1,2) 作业 P62(1a,c,e,h) P66(4,5) 作业 P71(1,2a,c,4,7) P75(1a) 作业 P79(1,2b,3a,3b) * 离散数学 * 例:求下列公式的前束合取范式 * 离散数学 * 一阶逻辑知识结构 2.1 一阶逻辑基本概念 2.2 一阶逻辑等值演算 2.3 一阶逻辑的推理理论 第四次课 第一、二次课 第三次课 * 离散数学 * 一阶逻辑推理理论知识点 推理理论的形式结构 推理规则 全称量词消去规则 全称量词引入规则 存在量词消去规则 存在量词引入规则 * 离散数学 * 推理理论的形式结构 从前提A1, A2…… Ak出发推出结论B的推理形式结构为： 若此式为永真式，则推理正确；否则，称推理不正确。 * 离散数学 * 谓词演算是命题演算的扩展 命题演算中的等价式、蕴含式、推理规则都可以用在谓词演算。 某些前提和结论受量词的限制，因而需要量词的引入和消去。 * 离散数学 * ?xA(x)∨?xB(x) ??x (A(x)∨B(x)) 量词分配的推理定律 ?x (A(x)∧B(x))??xA(x) ∧ ?xB(x)； ?x(A(x)→B(x))??xA(x)→?xB(x)； ?x(A(x)→B(x))? ? xA(x)→ ? xB(x)； * 离散数学 * 全称指定规则 (Universal Specification) ?x P(x) ? P(c) 又称为全称量词消去规则，表示为 US。 P是谓词，而c是个体域中的任意个体。如果个体域中全部个体有P(x)，那么全称指定规则有结论P(c)。 其中x是P(x)中自由出现的个体变元。 例：个体域取为偶数集合，P(X):x是整数。 ?x P(x) 成立，6是个体域中的一个个体，则必有P(6)成立。 * 离散数学 * 全称推广规则 (Universal Generalization) 该式成立的条件是： 无论P(y) 中自由出现的个体变项 y 取何值，P(y)取值应该均为真. 又称为全称量词引入规则，表示为UG P(y) ? ?x P(x) 即：如果能够证明对个体域中每一个个体都具有某性质，则个体域中的全体个体都具有此性质。 例：设个体域为人类集合。P(x)表示x是要死的。对于任意的一个人a都有P(a)，必然可以得到?x P(x)。 * 离散数学 * 存在指定规则(Existential Specification) 又称为存在量词消去规则，表示为ES ?x P(x) ? P(c) 这里的c是个体域中某个确定的个体，而不是任意的。这个规则是说，如果个体域中存在具有性质P的个体，则个体域中必有某一元素具有此性质。 例：设个体域取整数集合。P(x):x是偶数。 则P(8)取值为真，而P(7)取值为假。 * 离散数学 * 存在推广规则 (Existential Generalization ) 此规则表示：如果个体域中有某个个体具有性质P，则可以说个体域中存在具有性质P的个体。 又称为存在量词引入规则，表示为EG P(c) ? ?x P(x) 例：设个体域为某班全体学生，P(x):x通过了英语六级。如果王明通过了英语六级，必然可以得到结论“该班有人通过了英语六级”。 * 离散数学 * 一阶逻辑自然推理系统 F ????3. 推理规则： 定义2.3 .1 自然推理系统 F 定义如下： ??1. 字母表. 同一阶语言 的字母表 2. 合式公式. 同 合式公式的定义 * 离散数学 * （1） 前提引入规则. （2） 结论引入规则. （3） 置换规则. （4） 假言推理规则. ????（5） 附加规则. ?（6） 化简规则. （7） 拒取式规则. （8） 假言三段论规则. * 离散数学 * ????（15）EG规则. ????F 中的推理过程类似命题演算自然推理系统 P. （9） 析取三段论规则. （10）构造性二难推理规则. ??（11）合取引入规则. （12）US规则. （14）ES规则. （13）UG规则. * 离散数学 * 谓词演算中推理的一般过程: 利用US或ES规则，把前提条件中的量词消去 使用命题逻辑中的方法进行推理 推出结论后，再利用UG或EG规则把量词引入进来，得出谓词逻辑的结论 谓词逻辑中进行推理的需注意的问题： US、ES、UG、EG这4个规则仅对谓词公式的前束范式适用。 要弄清消去量词后，个体是特定的还是任意的。 如果既有全称量词的前提也有存在量词的前提，必须先指定存在量词的