”、“…比高2cm”、在…与…之间”都是谓词由于谓词与个体之间有密切的联系,实践中常把二辑者写在一起:基个体变元具有性质F,记作F(x);本个体变元x,y之间具有关系L,记作L(x,y);般把用函数的形式表示的谓词与个体变元的联合念体也称为谓词,而把谓词中的变元实例化后,诵词就成为(1)F(x)表示x是个劳动模范21a:张明F(a)就代表命题:张明是个劳动模范阶(2)H(x,y)表示x是y的老师s:小李t:小赵基H(s,t表示命题:小李是小赵的老师本|(3R(x,y2表示2x*yR(2,3,4)表示命题4=3+2谓词中所含的个体变元数称为谓词的元数。含n个个体词的谓词称为n元谓词例如上题,其中(1)、(2)、(3)分别为一元谓词、21元谓词、三元谓词。般用P(x1,x2……,x)表示n元谓词(1)如果从函数观点来看待n元谓词,则其定义域依赖遊于个体变元的定义域(个体域),值域为(0,1};辑(2)n元谓词不是命题,由于谓词P也有可能是变元基|所以只有用具体的谓词常项代替P,用具体的个体常顼代本表个体变元后,方为命题,称命题为0元谓词(3)谓词中个体变元的顺序不能随意改动。/例2、用0元谓词将命题符号化2.1要求:先将它们在命题逻辑中符号化,再在一阶逻辑中符号化阶(1)墨西哥位于南美洲遊在命题逻辑中,设p:墨西哥位于南美洲符号化为p,这是真命题基在一阶逻辑中,设a:墨西哥,F(x):x位于南本美洲符号化为F(a)(2)2是无理数仅当√3是有理数21在命题逻辑中,设P:是无理数,g:3是有理数身符号化为→>q,这是假命题在一阶逻辑中,设F:x是无理数,Gx):x是有理辑数符号化为F(2)C(《3)基(3)如果23,则34麻在命题逻辑中,设p:23,q:3<4概符号化为p→y,这是真命题念在一阶逻辑中,设F(xy):x>y,G(x3y):x<y,符号化为F(2,3)-G(3,4)
全文预览