第四章-一阶逻辑基本概念.pptVIP

2021/3/26 * 2．在一阶逻辑中将下列命题符号化 （1）大熊猫都可爱 （2）有人爱发脾气 （3）说所有人都爱吃面包是不对的 （4）没有不爱吃糖的人 （5）一切人都不一样高 （6）并不是所有的汽车都比火车快 2021/3/26 * 由于没指出个体域,故用全总个体域 （1）?x(F(x)?G(x)) 其中,F(x): x为大熊猫,G(x): x可爱 （2）?x(F(x)?G(x)) 其中,F(x): x是人,G(x): x爱发脾气 （3）??x(F(x)?G(x)) 或 ?x(F(x)??G(x)) 其中,F(x): x是人,G(x):x爱吃面包 （4）??x(F(x)??G(x)) 或 ?x(F(x)?G(x)) 其中,F(x): x是人,G(x): x爱吃糖 （5）?x(F(x)??y(F(y)??H(x,y)??L(x,y))),或 ?x?y(F(x)?F(y)??H(x,y)??L(x,y)) 其中,F(x):x是人, H(x,y), x与y相同, L(x,y): x与y一样高 （6）??x?y(F(x)?G(y)?H(x,y)) 或 ?x?y(F(x)?G(y)??H(x,y)) 其中, F(x):x是汽车, G(y):y是火车, H(x,y):x比y快 2021/3/26 * 说明: 使用的是全总个体域 (1)与(2)是两个基本公式的使用 (3)与(4)是否定式 (5)与(6)使用了二元谓词 (3)-(6)的不同符号化形式是等值的 2021/3/26 * 3. 给定解释I如下: (a) 个体域D=N (b) =2 (c) (x,y)=x+y, (x,y)=x?y (d) 谓词 (x,y):x=y 说明下列公式在I下的涵义,并讨论真值 (1) ?xF(g(x,a),x) (2) ?x?y(F(f(x,a),y)?F(f(y,a),x)) (3) ?x?y?zF(f(x,y),z) (4) ?xF(f(x,x),g(x,x)) (5) ?x?y?zF(f(y,z),x) 答案 (3),(4)为真,其余的均为假 说明:5个小题都是闭式,在I下全是命题; (3)与(5)说明,量词顺序不能随意改变。 2021/3/26 * 作业: 习题四: 1,2,4,5,6,8,9,11（1,2,3） 2021/3/26 * 第四章 一阶逻辑基本概念 本章的主要内容 一阶逻辑基本概念、命题符号化 一阶逻辑公式、解释及分类 2021/3/26 * 4.1 一阶逻辑命题符号化 一、基本概念——个体词、谓词、量词 （1）个体常项:具体的事务,用a, b, c表示 （2）个体变项:抽象的事物,用x, y, z表示 （3）个体域——个体变项的取值范围 ① 有限个体域,如{a, b, c}, {1, 2} ② 无限个体域,如N, Z, R, … ③ 全总个体域——宇宙间一切事物组成 1．个体（个体词）——所研究对象中可以独立存在的具体或抽象的客体（名词或代词充当） 2021/3/26 * 2.谓词—表示个体词性质或相互之间关系的词 （1）谓词常项:F: …是人,F(a):a是人 （2）谓词变项: F: …具有性质F,F(x):x具有性质F （3）n（n?1）元谓词 ① n=1,一元谓词——表示性质 ② n?2,多元谓词——表示事物之间的关系 L(x,y):x与y有关系L,L(x,y):x?y,… (4) 0元谓词——不含个体变项的谓词(命题常项或变项) 2021/3/26 * 3．量词——表示数量的词 （1）全称量词:“?”,?x （2）存在量词:“?”,?x 2021/3/26 * 例 用0元谓词将命题符号化: （1）墨西哥位于南美洲 （2） 是无理数仅当 是有理数 （3）如果23,则34 要求:先将它们在命题逻辑中符号化,再在一阶逻辑中符号化 二、一阶逻辑中命题符号化 2021/3/26 * 解:在命题逻辑中: (1)p, p为墨西哥位于南美洲（真命题） (2)p→q, 其中,p: 是无理数,q: 是有理数. (假命题) (3)p?q, 其中,p:23,q:34. (真命题) 在一阶逻辑中： (1)F(a)，其中，a：墨西哥，F(x)：x位于南美洲. (2) , 其中，F(x)：x是无理数，G(x)：x是有理数 (3)F(2,3)?G(3,4)， 其中，F(x,y)：xy，G(x,y)：xy 2021/3/26 * 例 在一阶逻辑中将下面命题符号