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

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 进制例题选解 习题二;　　在命题逻辑中，我们把命题分析到简单命题为止，而简单命题是不再进行分析的基本元素，因此，当推理涉及到简单命题的结构时，命题逻辑对此是无能为力的。例如下面的推理：　　所有的自然数都是实数，3是自然数。所以，3是实数。根据数学方面的知识，我们知道这个推理是正确的。然而，在命题逻辑中，这个推理的正确性是无法证明的，这是因为上述推理中的三句话均是简单命题，且各不相同，如果把它们形式化为命题逻辑中的公式，以p表“所有的自然数都是实数”，以q表“3是自然数”，以r表“3是实数”，则推理可以写为：　　　　　　　　　　　(p∧q)r;　　而(p∧q)→r是一个可满足式，可知这个推理无法在命题逻辑推理理论中得到证明。另外，命题“所有的自然数都是实数”事实上隐含着“0是实数”，“1是实数”，“2是实数”，…，等无穷多个命题，单用一个p表示，很难体现这些。　　因此，为了能够进一步深入地研究推理，需要对简单命题做进一步的分析，将简单命题的结构分解为个体词、谓词、量词等，并讨论它们与推理之间的关系，这一部分的内容称为一阶逻辑(谓词逻辑)。;　　首先我们将简单命题的结构分解成个体和谓词。　　个体(客体)我们讨论的对象。可以是具体的，也可以是抽象的。　　个体域(论域)个体所构成的非空集合。　　全总个体域(无限域)包含宇宙中一切事物的个体域。谓词简单命题中，表示一个个体的性质或多个个体间的关系的词。 　　之所以称之为谓词，是因为谓词和个体词一起构成了简单命题中的主谓结构。如：　　小王是学生。　　3是素数。　　2整除6。　　3位于2与5之间。;　　上面这些简单命题中，小王、2、3、5、6均是个体，“……是学生”，“……是素数”，“……整除……”，“……位于……与……之间”均是谓词。前两个谓词描述的是一个个体的性质，称为一元谓词； 第三个表示两个个体之间的关系，称为二元谓词； 第四个表示三个个体之间的关系，称为三元谓词。以此类推，我们将描述n(n≥2)个个体之间关系的谓词称为n元谓词。通常用大写字母F、G、H(可加下标)来表示谓词。如：　　F表示“……是学生”； 　　G表示“……整除……”； 　　H表示“……位于……与……之间”。;　　这时F、G、H表示的是具体的谓词，称为谓词常元，否则，称为谓词变元。显然，单独的一个谓词(即使是谓词常元)并不能构成一个完整的句子，必须以个体词取代“……”方能构成一个句子。通常我们用小写的英文字母a、b、c(可加下标)等表示个体。这样，“小王是学生”可符号化为F(a)，其中a表示小王。若用b表示小李，则F(b)就表示“小李是学生”。若用c1表示2，用c2表示6，则G(c1，c2)就表示“2整除6”。;　　这里，a、b、c1、c2均是具体的个体，称为个体常元。一般我们用F(x)表示“x是学生”，其中的x称为个体变元(简称变元，亦称个体词)。类似地，我们也可用G(x，y)表示“x整除y”。　　我们称由谓词符和变元符组成的符号串为命题函数。之所以称为命题函数，是因为命题函数不是命题，只有谓词为常元并将其中的变元代以具体的个体后，才能构成命题。例如：“G(x，y)：x整除y。” 并不是命题，但若取a：2，b：6，则G(a，a)，G(a，b)以及G(b，a)均是命题，前两个是真命题，第三个是假命题。G(a，a)、G(a，b)等称为0元谓词，它们不含个体变元，0元谓词即命题。;　　注意　　 (1) 多元谓词中变元的顺序不同，表示的意义也不同。如G(x，y)表“x整除y”，而G(y，x)表“y整除x”。　　(2) 在谓词逻辑中，、∧、∨、→、仍是联结词，其含义和用法与命题逻辑中的相同。　　【例2.1.1】将下列语句形式化为谓词逻辑中的命题或　　命题函数。　　(1) 小王是二年级大学生。　　(2) 小王是李老师的学生。　　(3) 如果x≤y且y≤x，则x=y。;　　解　　(1) 令F(x)：x是大学生；G(x)：x是二年级的； a：小王。则原句形式化为：　　　　　　　　　　　F(a)∧G(a)　　(2) 令F(x，y)：x是y的学生；a：小王；b：李老师。则原句形式化为：　　　　　　　　　　　F(a，b)　　(3) 令F(x，y)：x≤y；G(x，y)：x=y。则原句形式化为　　　　　　　(F(x，y)∧F(y，x))→G(x，y);　　前两句在确知“小王”和“李老师”之后均是命题，第三句因为含有变元所以是命题函数。但实际上我们知道，只要将x、y限制在数的范围内，第三句是一个数学定理，是真命题，这就涉及到了个体域，在这个个