离散数学课件：第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表示“……位于……与……之间”。;　　注意　　 (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限制在数的范围内，第三句是一个数学定理，是真命题，这就涉及到了个体域，在这个个体域中命题函数是真的，在那个个体域中又有可能是假的，这就需要对变量作“量化”。例如，“x2-4=0”这句话不能确定其真伪，因为我们不知道x的取值。如果在这句话之前加上“当x=1时”或者“对于x ∈{-2，2}”或者“对某个整数x”，则它就变成了一个真值确定的数学命题(第一句为假，后两句为真)。; 　事实上，在一般的简单命题中，常有一些表示数量的词语，诸如“所有的”、“有一些”等等，用来表示谓词中的变量取自论域中的全体或部分个体，例如下面的两个陈述句：　　“对所有的x∈D，论断F(x)为真。”　　“对某些x∈D，论断F(x)为真。”　　在谓词逻辑中，我们用量词把它们形式化。;　　1． 全称量词 “”　　全称量词用来表示个体域中的全体。表自然语言中的“所有的”、“任意的”、“每一个”等等。如：“任意偶数均能被2整除。”　　句子可改写成：“在偶数集合中的任意的x，x能被2整除。”　　取个体域为偶数集，用F(x)表示“x能被2整除”，用x表示“任意的x”，则原句形式化为：xF(x)。;　　注意xF(x)表示的是“在个体域中，任意的x均有F(x)这个性质”，