离散数学复习分析.pptVIP

用等值演算法求公式的主范式的步骤： (1) 先求析取范式（合取范式） (2) 将不是极小项（极大项）的简单合取式（简 单析取式）化成与之等值的若干个极小项的析 取（极大项的合取），需要利用同一律（零 律）、排中律（矛盾律）、分配律、幂等律等. (3) 极小项（极大项）用名称mi（Mi）表示，并 按角标从小到大顺序排序. 2.1 谓词逻辑中的基本概念与表示 定义：在原子命题中，可以独立存在的客体（句子中的主语、宾语等），称为个体词(Individual)。 而用以刻划客体的性质或客体之间的关系即是谓词(Predicate)。 个体词的分类 （1）表示具体的或特定的个体词称为个体常量(Individual Constant)； （2）表示抽象的或泛指的个体词称为个体变量(Individual Variable) 。 个体域 定义： （1）个体词的取值范围称为个体域(或论域) (Individual Field)，常用D表示； （2）而宇宙间的所有个体域聚集在一起所构成的个体域称为全总个体域(Universal Individual Field)。 量词 全称量词与存在量词 定义： 称(?x)为全称量词（Universal Quantifier）， (?x)为存在量词（Existential Quantifier）。 在(?x)F(x)和(?x)F(x)中，F(x)称为全称量词和存在量词的辖域(Scope)。 特性谓词 例如，符号化“所有的老虎都要吃人”这个命题 谓词的语言翻译 特殊的，当个体域D ＝ {x0, x1, …}是可数集合时，上述(?x)G(x)、(?x)G(x)的真值可表示为： (?x)G(x) = G(x0)∧G(x1)∧... (?x)G(x) = G(x0)∨G(x1)∨... 2.2 谓词合式公式与解释 谓词公式涉及如下四种符号： （1）常量符号：a, b, c, …, a1, b1, c1, …。 （2）变量符号：x, y, z, ..., x1, y1, z1,...。 （3）函数符号：f, g, h, ..., f1, g1, h1, ... 。当个体域名称集合D给出时，n元函数符号f(x1, x2, …, xn)可以是Dn→D的任意一个函数； （4）谓词符号：用大写英文字母P, Q, R,..., P1, Q1, R1...来表示。当个体域名称集合D给出时，n元谓词符号P(x1, x2, …, xn)可以是Dn→{0，1}的任意一个谓词。 项（递归定义） 原子公式 定义： 满足下列条件的表达式，称为合式公式(Well-Formed Formula/Wff)，简称公式(Formula)。 （1）原子公式是合式公式； （2）若G，H是合式公式，则(┐G)、(┐H)、 (G∨H)，(G∧H)、(G→H)、(G?H)也是合式公式； （3）若G是合式公式，x是个体变量，则 (?x)G、(?x)G 也是合式公式； （4）仅仅由(1)-(3)产生的表达式才是合式公式。 自由变元和约束变元 定义： 给定一个合式公式G，若变元x出现在使用变元的量词的辖域之内，则称x的出现为约束出现(Bound Occurrence)，此时的x称为约束变元(Bound Variable)。 若x的出现不是约束出现，则称它为自由出现(Free Occurrence)，此时的x称为自由变元(Free Variable)。 问题：变元混淆 （4）(?x)(P(x)→R(x))∧(?y)Q(x, y) 谓词合式公式的解释 定义：谓词逻辑中公式G 的每一个解释I(Expl-anation)由如下四部分组成： （1）非空的个体域集合D； （2）G中的每个常量符号，指定D中的某个特定的元素； （3）G中的每个n元函数符号，指定Dn到D中的某个特定的函数； （4）G中的每个n元谓词符号，指定Dn到｛0,1｝中的某个特定的谓词。 公式的解释 例5 设有公式： (?x)(P(x)→Q(x))?((?x)P(x)→(?x)Q(x))， 个体域D = {a, b}，构造使公式分别为真和假的解释。 解：对个体域D = {a, b}，公式可展开为： (?x)(P(x)→Q(x))?((?x)P(x)→(?x)Q(x)) = (?x)(?P(x)∨Q(x))?(?(?x)P(x)∨(?x)Q(x)) = (?P(a)∨Q(a))∧(?P(b)∨Q(b))? ?(P(a)∨P(b))∨(Q(a)∧Q(b)) 例5 （续） (?P(a)∨Q(a))∧(?P(b)∨Q(b))? ?(P(a)∨P(b))