离散数学(高教版)第4章.ppt

* 练习5 5. 证明下列公式为永真式: (1) (?xF(x)??yG(y))??xF(x)??yG(y) (2) ?x(F(x)?(F(x)?G(x))) (A?B)?A?B的代换实例 设I是任意的一个解释, 对每一个x?DI, F(x)?(F(x)?G(x))恒为真 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 主要内容 一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化 一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足式 第四章 一阶逻辑基本概念 * 4.1 一阶逻辑命题符号化 个体词——所研究对象中可以独立存在的具体或抽象的客体 如 ：1、小王是程序猿。 3、x是有理数。 2、 是无理数。 4、这辆汽车是那头画图汪的。 个体常项：表示具体或特定的客体的个体词，用a, b, c表示 个体变项：表示抽象或者泛指的个体词，用x, y, z表示 个体域(论域)——个体变项的取值范围 有限个体域，如 {a, b, c}, {1, 2}