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

例4.4.将下列命题符号化，

并讨论真值(1)所有的人都长着黑头发。(2)有的人登上过月球。(3)没有人登上过木星。(4)在美国留学的学生未必都是亚洲人。第29页，共67页，星期日，2025年，2月5日例4.4.(1)所有的人都长着黑头发分析(1)特性谓词的使用；(2)联结词的使用；(2)全总个体域的约定。第30页，共67页，星期日，2025年，2月5日例4.4.(1)所有的人都长着黑头发（续）解由于本题没有提出个体域，因而应该采用全总个体域，并令M(x):x为人。令F(x):x长着黑头发。命题(1)符号化为???????????x(M(x)→F(x))???????????(4.9)

设a为某个金发姑娘，则M(a)为真，而F(a)为假，所以M(a)→F(a)为假，故(4.9)所表示的命题为假。第31页，共67页，星期日，2025年，2月5日例4.4.(3)没有人登上过木星解令H(x):x登上过木星。命题(3)符号化形式为???????????┐x(M(x)∧H(x))(4.11)

到目前为止，对于任何一个人(含已经去世的人)都还没有登上过木星，所以对任何人a，M(a)∧H(a)均为假，因而x(M(x)∧H(x))为假，所以(4.11)表示的命题为真。第32页，共67页，星期日，2025年，2月5日(2)有的人登上过月球（练习）

(4)在美国留学的学生未必都是亚洲人第33页，共67页，星期日，2025年，2月5日例4.5将下列命题符号化(1)兔子比乌龟跑得快。(2)有的兔子比所有的乌龟跑得快。第34页，共67页，星期日，2025年，2月5日例4.5（续）分析（1）本题没有指明个体域，因而采用全总个体域。（2）出现二元谓词，因而引入两个体变项x与y。第35页，共67页，星期日，2025年，2月5日例4.5（续）解令F(x):x是兔子，G(y):y是乌龟，H(x,y):x比y跑得快，L(x,y):x与y跑得一样快。这2个命题分别符号化为?????xy(F(x)∧G(y)→H(x,y))???(4.13)x(F(x)∧y(G(y)→H(x,y))??(4.14)

????????第36页，共67页，星期日，2025年，2月5日N元谓词符号化分析命题中表示性质和关系的谓词，分别符号化为一元和n元谓词；根据命题的实际意义选用全称量词或存在量词；注意谓词的先后顺序；命题的符号化形式不是唯一的。第37页，共67页，星期日，2025年，2月5日课后作业(1)习题四第1(-1,-3,-5),2,4(-2,-4),5(-1,-3),6(-2,-4,-6)题（第65,66页）.第38页，共67页，星期日，2025年，2月5日4.2.一阶谓词公式及其解释自然推理系统P形式语言为在一阶逻辑中进行演算和推理，还必须给出一阶逻辑中公式的抽象定义及其它们的解释。一阶逻辑与一阶语言一阶语言是用于一阶逻辑的形式语言，而一阶逻辑是建立在一阶语言上的逻辑体系。第39页，共67页，星期日，2025年，2月5日符号非逻辑符号非逻辑符号更像是所描述的特定对象中的符号，包括：个体常项符号、函数符号、谓词符号。逻辑符号逻辑符号则是逻辑系统中的符号，包括：个体变项符号、量词符号、联结词符号、括号、逗号。第40页，共67页，星期日，2025年，2月5日一阶语言（定义4.1-4.4）设L是一个非逻辑符号集合，由L生成的一阶语言￡的字母表包括下述符号：非逻辑符号(1)L中的个体常项:a,b,c,…,ai,bi,ci,…,i≥1.(2)L中的函数符号:f,g,h,…,fi,gi,hi,…,i≥1.(3)L中的谓词符号:F,G,H,…,Fi,Gi,Hi,…,i≥1.逻辑符号(1)个体变项:x,y,z,…,xi,yi,zi,…,i≥1.(2)量词符号:,.(3)联结词符号:┐,∧,∨,→,?.(4)括号与逗号:(,),,,.第41页，共67页，星期日，2025年，2月5日一阶语言（续）￡中项的定义(1)个体常项和个体变项是项。(2)若f(x1,x2,…,xn)是任意的n元函数，t