02谓词逻辑01.pptVIP

第一部分 数理逻辑 Mathematical Logic 第2章 谓词逻辑 内容：谓词、个体词与量词 谓词公式及其解释 约束变量与自由变量 前束范式 目的：一阶逻辑命题符号化 量词的解释 前束范式 2.1一阶（谓词）逻辑的概念与表示 内容： 谓词与个体词 量词 目的： 熟练应用一阶逻辑进行命题符号化/翻译 证明下述推理的有效性 1. 每个整数都是有理数。3是一个整数。因此，3是一个有理数。 证明：设p:每个整数都是有理数。q: 3是一个整数。 r: 3是一个有理数。 推理形式化为：p，q ? r 2.所有的人都是要死的。苏格拉底是人。所以苏格拉底是要死的。 证明：设p:所有的人都是要死的。q:苏格拉底是人。 r:苏格拉底是要死的。 推理形式化为：p，q ? r 命题逻辑的特点 命题逻辑中，命题作为一个（陈述）句子被视为不可再分的基本单元，研究的是命题的真假性，而没有考虑命题的结构和组成，从而使得类似上例中的许多论证的有效性无法在命题逻辑框架中验证。 命题的结构 简单命题的陈述句通常由主语和谓语构成。如下述命题： 1.每个整数都是有理数。 2. 3是一个整数。 P(3) 3. 3是一个有理数。 Q(3) 将简单命题结构化为： P(x)的形式表示：x是/具有性质P 如：令P(x)：x是整数。 Q(x)：x是有理数。 P(4)，P(6)… Q(1/2), Q(5)… 谓词（predicate） 定义2.1 令P(x)是一个陈述句；其中x是一个变量， D是一个集合，如果对于D中的每个x， P(x)都是命题，则P(x)称为关于集合D上的命题函数(propositional function)。D称为论域(domain)，x称为自由变量(free variable)。 谓词（predicate） x为个体词。 个体词分为个体常项(用a,b,c…表示)和个体变项(用x,y,z…表示)。 D为个体域 个体域D可以是有穷集合，也可以是无穷集合。一个特殊的个体域是由宇宙间一切事物组成的，成为全总个体域。 P为谓词 P(x1,x2,…xn) 称为n元谓词。特别当n=0时，为P即为命题。 例1.用谓词逻辑符号化下列命题 1. 3是一个整数。 2.罗素是逻辑学家。 3. 6和9都是整数。 4.如果苏格拉底是逻辑学家，则苏格拉底是要死的。 5.如果2是偶数，那么3也是偶数。 例1.题解(1) 1. 3是一个整数。 解：设z(x)：x是整数。D为整数。 则命题符号化为： z(3) 2.罗素是逻辑学家。 解：设L(x)：x是逻辑学家。D为人。a:罗素 则命题符号化为： L(a) 3. 6和9都是整数。 解：设z(x)：x是整数。D为整数。 则命题符号化为： z(6) ∧z(9) 例1.题解(1) 4.如果苏格拉底是逻辑学家，则苏格拉底是要死的。 解：设L(x)：x是逻辑学家。 S(x)：x是要死的。 D为人。a:苏格拉底。 则命题符号化为： L(a) → S(a) 5.如果2是偶数，那么3也是偶数。 解：设E(x)：x是偶数。D为整数。 则命题符号化为： E(2) →E(3) 例2.用谓词逻辑符号化下列命题 1. 所有的人都是要死的。 2. 有些人是要死的。 3.对于任意的自然数N，如果N是偶数，那么N+1也是偶数。 4.对于任意的整数K，如果4能够整除整数K，那么2也能整除K。 5. 所有的整数是有理数，但只有部分有理数是整数。 全称量词（universal quantifier） 设P(x)是命题函数， D是论域，则P(x) 的全称量化是命题：对于每个x，有P(x)为真。 记为： ?xP(x)， 符号“? ”称为全称量词。 如果对于D中的每个x的值，P(x)为真，则命题?xP(x)为真。 如果在D中至少有一个x的值使P(x)为假，则命题?xP(x)为假。 对于有限论域D={a，b，c，…z}，有 ?xP(x)?P(a)∧P(b) ∧…∧P(z) 存在量词（ existential quantifier） 设P(x)是命题函数， D是论域，则P(x) 的存在量化是命题：存在某些x，使P(x)为真。 记为：