一阶逻辑基本概念谓词逻辑课件(离散数学)要素.ppt

(1) 单个命题常项或变项 p,q,r,…是合式公式； (2) 若A , B是合式公式，则 (? A)，(A?B), (A?B), (A?B), (A?B)也是合式公式； (3) 只有有限次地应用(1)~(2)形成的包含命题变元、联结词和括号的符号串才是合式公式。 命题逻辑合式公式的定义： (1)原子公式是合式公式; (2)若A、B是合式公式，则 (?A), (A?B), (A?B), (A?B), (A?B)是合式公式; (3)若A是合式公式，则?xA, ?xA是合式公式; (4)所有合式公式都是有限次应用1~3形成的符号串。 谓词逻辑合式公式的定义： 原子命题公式 n元谓词 * 一、原子公式和项 定义：设P(x1, x2, …, xn)是任意的n元谓词，t1,t2,…,tn是任意的n个项，则称P(t1,t2,…,tn)是原子公式。 个体常项和个体变项是项. 若?(x1, x2, …, xn)是任意的n元函数，t1,t2,…,tn是任意的n个项，则?(t1, t2, …, tn) 是项。 所有的项都是有限次使用 1, 2 得到的。 * F(x,y)： G( f(x1, x2), g(x3, x4) ) F(x): x是无理数。 F( ) 一、原子公式和项 项 * 引例 ?x(F(x,y)?G(x,z)) 考察上述两个公式中个体变项受约束的情况。 * 二、个体变项的自由出现与约束出现 定义：在公式?xA和?xA中， 称x为指导变元； A为相应量词的辖域； 在?x和?x的辖域中，x的所有出现都称为约束出现； A中不是约束出现的其他变项均称为自由出现。 * 二、个体变项的自由出现与约束出现 例1：说明以下各式量词的辖域与变元的约束情况： （1） ?x(F(x,y)?G(x,z)) A=(F(x,y)?G(x,z))为?的辖域， x为指导变元, A中x的两次出现均为约束出现，y与z均为自由出现。 * 第四章一阶逻辑基本概念 （谓词逻辑） * 本章主要内容 4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释 * 4.1 一阶逻辑命题符号化 个体词、谓词、量词的概念 一阶逻辑命题的符号化 * 一、个体词、谓词、量词的概念 定义：个体词（个体）: 可以独立存在的具体或抽象的客体。 个体词的基本概念 例：我是老师。其中“我”就是个体词。 张三比李四高。其中“张三”、“李四”都是个体词。 * 一、个体词、谓词、量词的概念 个体常项：具体的客体，用a, b, c表示。 个体变项：抽象或泛指的事物，用x, y, z表示。 个体域（论域）: 个体变项的取值范围。 例：x高于y。x，y都是个体变项。 有限个体域 即个体域是有限集合 无限个体域 即个体域是无穷集合 全总个体域 宇宙间一切事物组成。 * 一、个体词、谓词、量词的概念 谓词的基本概念 定义: 表示个体词性质或相互之间关系的词。 例：张华是大学生。 李凯是大学生。 …是大学生 例：张三比李四高。 …比…高 * 一、个体词、谓词、量词的概念 谓词常项：表示具体性质或关系 例：…是大学生，记为F，F(张华)表示“张华是大学生”。 谓词变项：表示抽象及泛指的性质或关系 例：…具有性质F，记为F， F(张华)：张华具有性质F 谓词常项和变项都用大写字母表示。 * 一、个体词、谓词、量词的概念 n元谓词(n?2): 含有n个个体变项的谓词。如：L(x,y)：x?y，L是一个二元谓词。 一元谓词: 只含有一个个体变项的谓词。 如：F(x)：x是女孩。 0元谓词: 不含个体变项的谓词。 * 一、个体词、谓词、量词的概念 如：上例二元谓词L中的x,y代以个体“2”和“1”,则L(2,1)就是命题“2?1”。此时二元谓词变成0元谓词。 同理：一元谓词F(x)中的x代以个体“小王”，则F(小王)就是命题“小王是女孩”。也是0元谓词。 谓词逻辑包括命题逻辑。 * 一、个体词、谓词、量词的概念 例1：用0元谓词将下述命题符号化。 (1) 墨西哥位于南美洲 在命题逻辑中, 设 p: 墨西哥位于南美洲 符号化为 p, 该命题为真命题。 在一阶逻辑中, 设 a：墨西哥； F(x)：x位于南美洲； 符号化为F(a) * 一、个体词、谓词、量词的概念 (2) ? 是无理数仅当 是有理数 在一阶逻辑中， 设F(x): x是无理数；G(x): x是有理数 符号化为 在命题逻辑中,设 p: 是无理数;q: 是有理数. 符号化为 p ? q, 这是假命题。 * 一、个体词、谓词、量词的概念 （3） 如果23，则34。