一阶逻辑的符号化.pptVIP

在命题逻辑中，命题是最基本的单位，对简单命题不再进行分解，并且不考虑命题之间的内在联系和数量关系. 因而命题逻辑具有局限性，甚至无法判断一些简单而常见的推理.考虑下面的推理: 这个推理是我们公认的数学推理中的真命题，但是在命题逻辑中却无法判断它的正确性. 因为在命题逻辑中只能将推理中出现的三个简单命题依次符号化为p，q，r，将推理的形式结构符号化为 ?例4.4 将下列命题符号化，并讨论真值. ???(1) 所有的人都长着黑头发. ??(2) 有的人登上过月球. ? (3) 没有人登上过木星. ?(4) 在美国留学的学生未必都是亚洲人. 解: 由于本题没有提出个体域，因而应该采用全总  个体域. ?(1) 令F(x): x长着黑头发. (2) 令G(x): x 登上过月球. (4) 令 F(x): x 是在美国留学的学生， G(x): x 是亚洲人. 例4.5 将下列命题符号化: ? (1) 兔子比乌龟跑得快. ??(2) 有的兔子比所有的乌龟跑得快. (3) 并不是所有的兔子都比乌龟跑得快. (4) 不存在跑得同样快的两只兔子. 解: 本题没有指明个体域，因而采用全总个体域. 引入两个个体变项 x 与 y . 令 F(x): x 是兔子. G(y): y 是乌龟. H(x,y): x 比y跑得快. L(x,y): x 与 y 跑得一样快. ?1. 一般说来，多个量词出现时，它们的顺序不能随意调换. * * 第四章 一阶逻辑基本概念 第1节 一阶逻辑的符号化 第2节 一阶逻辑公式及解释 凡偶数都能被2整除； 6是偶数. 所以，6能被2整除. ( p∧q )→r 由于上式不是重言式，所以不能由它判断推理的正确性.为了克服命题逻辑的局限性，就应该将简单命题再细分，分析出个体词，谓词和量词，以期达到表达出个体与总体的内在联系和数量关系，这就是一阶逻辑所研究的内容. 一阶逻辑也称一阶谓词逻辑或谓词逻辑. 一、个体词 二、谓词 第1节 一阶逻辑的符号化 三、量词 四、一阶逻辑命题符号化 个体词、谓词和量词是一阶逻辑命题符号化的三个基本要素. 下面讨论这三个要素. 一、个体词 个体词是指所研究对象中可以独立存在的具体的或抽象的客体. （1） 将表示具体或特定的客体的个体词称作个体 常项，一般用小写英文字母a，b，c…表示； （2） 而将表示抽象或泛指的个体词称为个体变项， 常用x，y，z , …表示. （3） 称个体变项的取值范围为个体域(或称论域). 个体域可以是有穷集合，也可以是无穷集合. 有一个特殊的个体域，它是由宇宙间一切事物组成的，称它为全总个体域. 本书在论述或推理中如没有指明所采用的个体域，都是使用全总个体域. 同个体词一样，谓词也有常项和变项之分. （1） 表示具体性质或关系的谓词称为谓词常项; 谓词是用来刻画个体词性质及个体词之间相互关系的词. 1 定义 2 分类 （2） 表示抽象的、泛指的性质或关系的谓词称 为谓词变项. 二、谓词 无论是谓词常项或变项都用大写英文字母 F, G, H, … 表示，可根据上下文区分. 一般的： 用F(a)表示个体常项a具有性质F(F是谓词常项或谓词变项); 用 F(x) 表示个体变项 x 具有性质F ; 用 F(a，b) 表示个体常项a，b具有关系F ; 用 F(x, y) 表示个体变项x，y具有关系F . 更一般的, 用 P( x1, x2, …, xn )表示含n (n≥1) 个 命题变项的n元谓词. 1） n =1时，P (x1)表示x1具有性质P； 2） n ≥2时， P( x1, x2, …, xn )表示x1, x2, …, xn 具有关系 P. 实质上， n元谓词 P ( x1, x2, …, xn )可以看成以 个体域为定义域，以{0,1}为值域的n元函数或关系. 它不是命题. 要想使它成为命题，必须用谓词常项 取代P ，用个体常项a1, a2, …, an取代 x1, x2, …, xn， 得P ( a1, a2, …, an ) 是命题. ??? 3）有时候将不带个体变项的谓词称为0元谓词，例如, F(a), G(a,b), P( a1, a2, …, an )等都是0元谓词. 当F, G, P为谓词常项时，0元谓词为命题. 例4.1 将下列命题在一阶逻辑