离散数学2谓词逻辑.pptVIP

第二章谓词逻辑 合肥工业大学数学学院 邢燕 21谓词的概念与表示 命题逻辑的局限性: 下列推理:凡是人都是要死的 苏格拉底是人。 苏格拉底是要死的。 众所周知,这是真命题。但在命题逻辑中 (P∧Q)→R,难证其为重言式 原因:命题逻辑不考虑命题之间的内在联系 和数量关系 办法:将命题再次细分 21谓词的概念与表示 谓词在反映判断的句子中,用以刻划客体 的性质或关系的即是谓词 例:(1)3是有理数。(2)x是无理数 (3)阿杜与阿寺同岁。 (4)x与y有关系L 其中,“是有理数”、“是无理数” “与.同岁”、“.与.有关系L”均为谓词 前两个是指明客体性质的谓词,后两个是指 明两个客体之间关系的谓词 21谓词的概念与表示 将上述谓词分别记作大写字母F、G、H、L, 用小写字母表示客体名称,则上述可表示为 (1)F(3) (2)G(x) (3)H(a,b)a:阿杜b:阿寺 (4)L(x,y) 谓词填式单独一个谓词不是完整的命题 把谓词字母后填以客体所得的式子称为谓词 填式。 21谓词的概念与表示 n元谓词由n个客体插入到固定位置上的 谓词填式。 例如:A(b)称作一元谓词,B(a,b)称作二元 谓词,L(a,b,c)称作三元谓词,P(x1,x2,…, x)称作n元谓词 注意:代表客体名称的字母,它在多元谓词 中出现的次序是固定的,与事先约定的次序 有关,如L(a,b,c)和I