[理学]离散数学21-2.pptVIP

第2章 一阶逻辑 2.1 一阶逻辑基本概念 2.2 一阶逻辑合式公式及解释 2.3 一阶逻辑等值式 2.1 一阶逻辑基本概念 一阶逻辑基本概念 前面我们讲了第一章命题逻辑，在命题逻辑中，命题是演算的基本单位，不再对简单命题进行分解，因而无法研究命题的内部结构及命题之间内存的联系。因为他受到一些局限，有一些实际的逻辑问题使用命题逻辑没有办法正确的表达出来，因此我们要使用一阶逻辑使它的逻辑功能更加强。 一阶逻辑基本概念 苏格拉底三段论：（古罗马哲学家） 凡人要死，苏格拉底是人，所以苏格拉底要死， P：凡人要死 Q：苏格拉底是人 R：苏格拉底要死 此三段论表示为（P?Q）?R 苏格拉底三段论是正确的，但P?Q?R却不是重言式，这就是命题逻辑的局限性。 一阶逻辑基本概念 1.个体域： 命题逻辑中将命题（句子）作为最小研究单位。而现我们要将命题（句子）继续细分。命题是由主语和谓语两部分组成。主语是名词，称之为个体词。是独立存在的客体，可以是具体事物也可以是抽象概念（也可以是变化的）。 一阶逻辑基本概念 在谓语中含有宾语，它也是名词，它也是个体词。 个体词（个体）: 所研究对象中可以独立存在的具 体或抽象的客体 个体域：客体（个体）的取值范围。 例如：吴华是大学生，用P表示， 李明是大学生，用Q表示。 在命题逻辑中就没办法表示出两句的联系。 “……是大学生”用A（X）表示，x是大学生，命题符号含有个体词变量。 谓词: 表示个体词性质或相互之间关系的词 一阶逻辑基本概念 a表示吴华，A（a）表示吴华是大学生。 b表示李明，A（b）表示李明是大学生。 相当于“…是大学生”，用A（·）来表示，这就是谓词。 例：张三比李四高， 用H（x,y）表示x比y高。 a:张三b:李四 H（a,b）：张三比李四高 H（b,a）：李四比张三高 x,y,a,b表示客体，H（·,·）是谓词这个谓词涉及了两个客体，是二元谓词。 前一个谓词表示个体词性质，后一个谓词是表示个体词之间关系 基本概念——个体词、谓词、量词 个体常项：具体的事物，用a, b, c表示 个体变项：抽象的事物，用x, y, z表示 个体域: 个体变项的取值范围 有限个体域，如{a, b, c}, {1, 2} 无限个体域，如N, Z, R, … 全总个体域: 宇宙间一切事物组成 基本概念 (续) 2.谓词： 只涉及一个客体的谓词称为一元谓词，涉及两个客体的谓词称为二元谓词，涉及n个客体的谓词称为n元谓词。 一般，如A表示谓词符号，用Xi表示第i个客体变项，则n元谓词表示为A（x1,…,xn）,如a1,a2,…,an是个体域中的客体名词，则 A（a1,a2,…,an）是个命题。不含客体变项的谓词称零元谓词，零元谓词本身就是命题。 基本概念 (续) 注意： n元谓词中，客体变项的次序很重要 。 例：F（x,y）表示x是y的父亲， a:张三，b:张小明。 F（a,b）表示张三是张小明的父亲。 F（b,a）表示张小明是张三的父亲。 两个命题至多一个是真 基本概念 (续) 在讨论一个问题是必须先确定好个体域D。 如不作限制，表示宇宙一切事物组成的个体，成为全总个体域。 同一个n元谓词，取不同的客体，真假会不同。 A（x）：x是大学生。 A（a） 真值可能为真，而A（b）真值可能为假。 基本概念 (续) 对于同一谓词，个体域D不同，真值可能也不同。 例：对于A（x），x是大学生。 如D={大学生全体}，A（x）是重言式。 如D={学生全体}，A（x）是仅可满足式。 如D={计算机全体}，A（x）是永假式。 基本概念 (续) ???? 谓词常项：称表示具体性质或关系的谓词。用大写字母F,G,H等表示。F(a)：a是人 ???? 谓词变项：表示抽象的或泛指的谓词。也用大写字母F,G,H等表示。 F(x)：x具有性质F ???? 在谓词中所包含的个体 词数称为元数。 一元谓词: 表示事物的性质 多元谓词(n元谓词, n?2): 表示事物之间的关系 如 L(x,y)：x与y有关系L，L(x,y)：x?y，… 0元谓词: 不含个体变项的谓词, 即命题常项或命 题变项