离散数学课件--2谓词逻辑2015.pptVIP

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