命题逻辑与谓词逻辑.ppt

第二章 逻 辑 推 理;2.1 命 题 逻 辑;2．连接词 ～：称为“非”或“否定”。 ∨：称为“析取”，P∨Q读作“P或Q”。 ∧：称为“合取”，P∧Q读作“P与Q”。 →：称为“条件” 。P→Q。 ?：称为“双条件”。P?Q, “P当且仅当Q”。 连接词优先级：～，∧，∨，→，?; 3．合式公式 定义2-3 合式公式（Well-Formed Formula，WFF） ① 孤立的命题变元或逻辑常量（T，F）是合式公式； ② 如果A是一个合式公式，则～A也是一个合式公式； ③ 如果A、B是合式公式，则A∨B，A∧B，A→B，A?B也都是合式公式； ④ 当且仅当有限次使用规则①～③后得到的公式才是合式公式。; 永真式（或重言式）：给定一个公式，如果对于所有的真值指派，它的值都为真（T），则称该公式为永真式（或重言式） ； 永假式（或称该公式为不可满足的）：如对于所有的真值指派，它的值都为假（F），则称该公式为永假式（或称该公式为不可满足的）。 非永假的公式称为可满足的公式。; 4．等价和永真蕴涵 定义2-4 等价：设A，B是两个命题公式，P1，P2，…，Pn是出现在A、B中的所有命题变元。如果对于这n个变元的任何一个真值指派的集合，A和B的真值都相等，则称公式A等价于公式B，记作A?B。 “等价”又可定义为：A?B当且仅当A?B是一个永真式。; 定义2-5 永真蕴涵：命题公式A永真蕴涵命题公式B，当且仅当A→B是一个永真式，记作A?B，读作“A永真蕴涵B”，简称“A蕴涵B”。;2.2 谓 词 逻 辑; 元数: 谓词中包含的个体数目称为谓词的。 一元谓词: 与一个个体相连的谓词，如POET(x)； 多元谓词: 与多个个体相连的谓词叫，如GREAT(x, y)(二元谓词)。 个体域: 任何个体的变化都有范围。 谓词变元命名式: 一个n元谓词常被表示成P(x1, x2, …, xn) 。; 2．量词 全称量词: “(?x)P(x)”表示命题“对个体域中所有的个体x，谓词P(x)均为T”。 存在量词: “(?x)Q(x)”表示命题“在个体域中存在某个个体使谓词Q(x)为T”。其中“?”叫存在量词。; 3．合式谓词公式 原子公式: 若P为不能再分解的n元谓词变元，x1, x2, …, xn是个体变元，则称P(x1, x2, …, xn)为原子公式或原子谓词公式。当n?=?0时，P表示命题变元或原子命题公式。所以命题逻辑是谓词逻辑的特例 ; 定义2-6 谓词合式公式（简称公式）的定义如下： ① 原子公式是合式公式； ② 若A是合式公式，则～A也是合式公式； ③ 若A和B都是合式公式，则(A∧B)，(A∨B)，(A→B)，(A?B)也都是合式公式； ④ 若A是合式公式，x是任意变元，且A中无(?x)或(?x)出现，则(?x)A或(?x)A也都是合式公式； ⑤ 当且仅当有限次使用规则①～④得到的公式是合式公式。; 4．量词的辖域与变元的约束 约束变元, 自由变元 。 公式 约束变元 自由变元 (?x)P(x, y) x y (?x)Q(y) 无 y (?x)(P(x)→(?y)Q(x, y)) x, y (?y)P(x)∧Q(x) y x; 5．谓词公式的解释 谓词公式中的谓词变元、命题变元和自由个体变元，个体常量和函数的一种指派就是一个解释。 在每一种解释下，谓词公式都具有一种真值（T或F）。; 定义2-7 设D为谓词公式P的个体域，若对P中的个体常量、函数和谓词按照如下规定赋值： （a）为每个个体常量指派D中的一个元素； （b）为每个n元函数指派一个从Dn到D的映射，其中 Dn?=?{(x1, x2, …, xn)?|?x1, x2, …, xn ?D} （c）为每个n元谓词指派一个从Dn到{F，T}的