离散数学第2章谓词逻辑课件.ppt

第二章 谓词逻辑; §1 谓词的概念与表示法; §1 谓词的概念与表示法; §1 谓词的概念与表示法; §1 谓词的概念与表示法; §1 谓词的概念与表示法; §1 谓词的概念与表示法; §1 谓词的概念与表示法; §1 谓词的概念与表示法; §1 谓词的概念与表示法;注意： 1. 若谓词字母联系着一个客体，则称作一元谓词；若谓 词字母联系着二个客体，则称作二元谓词；若谓词字母联系着n个客体，则称作n元谓词。 一元谓词表达客体的性质，多元谓词表达客体间关系。; §1 谓词的概念与表示法;第二章 谓词逻辑;§2 命题函数与量词;§2 命题函数与量词;§2 命题函数与量词;§2 命题函数与量词;§2 命题函数与量词;§2 命题函数与量词;2.量词 （1）全称量词符号：? 读作：“所有的”，“任一个”，“对一切”，“每一个”。 例：“所有的都是苹果” 可写成： ?xA(x) 或 (?x)A(x) ;§2 命题函数与量词;§2 命题函数与量词;例：将“对于所有的x和任何的y，如果x高于y，那么y不高于x”写成命题表达形式。;§2 命题函数与量词;例：存在一个人。 设M(x)：x是人； (?x) M(x);§2 命题函数与量词;§2 命题函数与量词;§2 命题函数与量词;第二章 谓词逻辑;1.谓词公式 原子谓词公式： 不出现命题联结词和量词的谓词表达式称为原子谓词公式，并用P(x1…xn)来表示。 其中：P称为n元谓词， x1…xn称为客体变元，当n=0时称为零元谓词公式。;§3 谓词公式与翻译;§3 谓词公式与翻译;§3 谓词公式与翻译;§3 谓词公式与翻译;例7：试将苏格拉底论证符号化：“所有的人总是要死的。因为苏格拉底是人，所以苏格拉底是要死的。” 解：设M(x)：x是人； D(x)：x是要死的； s：苏格拉底 写成符号形式： (?x) (M(x) → D(x))， M(s) ? D(s);§3 谓词公式与翻译;§3 谓词公式与翻译;第二章 谓词逻辑;一、概念 1.指导变元：给定x为一个谓词公式，其中一部分公式形式为(?x)P(x)或(?x)P(x)，这里的?，?后面所跟的x称为相应的量词的指导变元。 2. 辖域：P(x)称为相应量词的作用域或辖域。（紧接在量词后面括号内的谓词公式。） 例： (?x) P(x) , (?x) (P(x) ∧ Q(x) ) 若量词后括号内为原子谓词公式，则括号可以省去。;§4 变元的约束;§4 变元的约束;§4 变元的约束;二、约束变元的换名 认为(?x) P(x,y)和(?z) P(z,y)是等价的谓词公式。任何谓词公式对约束变元可以换名。 换名规则： （a）换名的范围：量词中的指导变元以及该量词作用域中所出现的该变元；（指导变元及其约束的变元） （b）换名时要改为作用域中没有出现的变元名称。;例：对 (?x) (P(x) → R(x,y)) ∧ Q(x,y) 换名 解： (?z) (P(z) → R(x,y)) ∧ Q(x,y) (?z) (P(z) → R(z,y)) ∧ Q(x,y) (?y) (P(y) → R(y,y)) ∧ Q(x,y);§4 变元的约束;§4 变元的约束;§4 变元的约束;§4 变元的约束;例：设个体域为: {白猫，黄猫，?，?}， 令C(x)：x是猫（特性谓词）。 A(x)：x是动物。 B(x)：x是黑色的。 （a） 描述命题：“所有的猫都是动物。” 符号化： (?x)(C(x) → A(x))（T）（真命题） ∵ (?x)(C(x) → A(x))?T ∧ T ∧ T ∧ T?T 若写成：(?x)(C(x) ∧ A(x)) （F） (?x)(C(x) ∧ A(x)) ?T ∧ T ∧ F ∧ F?F;§4 变元的约束;(2)量词对变元的约束，往往与量词的次序有关。 约定： 多个量词时的读出顺序为从左到右，不能颠倒。;第二章 谓词逻辑;§5 谓词演算的等价式与蕴含式;定义2：给定任意wff A，E是A的个体域。若给A中客体变元指派E中的每一个客体, wff A值均为真，则称A在E中是 有效的（永真的）。 ;§5 谓词演算的等价式与蕴含式; 命题逻辑