离散数学结构 第4章 一阶逻辑基本概念.docVIP

第4章 一阶逻辑基本概念在命题逻辑中，命题是最基本的单位，对简单命题不再进行分解，并且不考虑命题之间的内在联系和数量关系。因而命题逻辑具有局限性，甚至无法判断一些简单而常见的推理。考虑下面的推理: ????凡偶数都能被2整除； ????6是偶数。 ????所以，6能被2整除。 这个推理是我们公认的数学推理中的真命题，但是在命题逻辑中却无法判断它的正确性。因为在命题逻辑中只能将推理中出现的三个简单命题依次符号化为p，q，r，将推理的形式结构符号化为 ????????(p∧q)→r 由于上式不是 重言式，所以不能由它判断推理的正确性。为了克服命题逻辑的局限性，就应该将简单命题再细分，分析出个体词，谓词和量词，以期达到表达出个体与总体的内在联系和数量关系，这就是一阶逻辑所研究的内容。一阶逻辑也称一阶谓词逻辑或谓词逻辑。 4.1 一阶逻辑的符号化 ????下面直接仿照 1.1来对谓词逻辑进行符号化。 ????个体词，谓词和量词是一阶逻辑命题符号化的三个基本要素。下面讨论这三个要素。 一、个体词 　 ????个体词是指所研究对象中可以独立存在的具体的或抽象的客体。例如，小王，小李，中国，，3等都可以作为个体词。将表示具体或特定的客体的个体词称作个体常项，一般用小写英文字母a，b，c…表示；而将表示抽象或泛指的个体词称为个体变项，常用x，y，z…表