离散数学课件：第2章.ppt

　　而(p∧q)→r是一个可满足式，可知这个推理无法在命题逻辑推理理论中得到证明。另外，命题“所有的自然数都是实数”事实上隐含着“0是实数”，“1是实数”，“2是实数”，…，等无穷多个命题，单用一个p表示，很难体现这些。　　因此，为了能够进一步深入地研究推理，需要对简单命题做进一步的分析，将简单命题的结构分解为个体词、谓词、量词等，并讨论它们与推理之间的关系，这一部分的内容称为一阶逻辑(谓词逻辑)。 　　首先我们将简单命题的结构分解成个体和谓词。　　个体(客体)我们讨论的对象。可以是具体的，也可以是抽象的。　　个体域(论域)个体所构成的非空集合。　　全总个体域(无限域)包含宇宙中一切事物的个体域。谓词简单命题中，表示一个个体的性质或多个个体间的关系的词。 　　之所以称之为谓词，是因为谓词和个体词一起构成了简单命题中的主谓结构。如：　　小王是学生。　　3是素数。　　2整除6。　　3位于2与5之间。 　　上面这些简单命题中，小王、2、3、5、6均是个体，“……是学生”，“……是素数”，“……整除……”，“……位于……与……之间”均是谓词。前两个谓词描述的是一个个体的性质，称为一元谓词； 第三个表示两个个体之间的关系，称为二元谓词； 第四个表示三个个体之间的关系，称为三元谓词。以此类推，我们将描述n(n≥2)个个体之间关系的谓词称为n元谓词。通常用大写字母F、G、H(