4.1 一阶逻辑符号化.ppt

第四章 一阶逻辑基本概念 ; 在命题逻辑中，命题是最基本的单位，对简单命题不再进行分解，并且不考虑命题之间的内在联系和数量关系. 因而命题逻辑具有局限性，甚至无法判断一些简单而常见的推理.考虑下面的推理: ; 这个推理是我们公认的数学推理中的真命题，但是在命题逻辑中却无法判断它的正确性. 因为在命题逻辑中只能将推理中出现的三个简单命题依次符号化为p，q，r，将推理的形式结构符号化为 ;一、个体词 ;一、个体词; 个体域可以是有穷集合，也可以是无穷集合.; 同个体词一样，谓词也有常项和变项之分. （1） 表示具体性质或关系的谓词称为谓词常项;; 无论是谓词常项或变项都用大写英文字母 F, G, H, … 表示，可根据上下文区分. 一般的：; 1） n =1时，P (x1)表示x1具有性质P；;??? 3）有时候将不带个体变项的谓词称为0元谓词，例如, F(a), G(a,b), P( a1, a2, …, an )等都是0元谓词. 当F, G, P为谓词常项时，0元谓词为命题.; 解: (1) 设一元谓词F(x): x是素数，a: 2，b: 4。(1)中命题符号化为0元谓词的蕴涵式: ;三、量词 ;1 全称量词 ;2 存在量词; 例4.2 在个体域分别限制为(a)和(b)条件时，将下面两个命题符号化: (1) 凡人都呼吸. (2) 有的人用左手写字. 其中: (a)个体域 D1为人类集合； (b)个体域 D2为全总个体域. ; 解: (a) 令F(x): x 呼吸. G(x): x 用左手写字.;于是(1)，(2)的符号化形式分别为 ; (1) 对于任意的x，均有 x2-3x+2=(x-1)(x-2) . (2) 存在x，使得 x+5=3. ;解: (a) 令 F(x): x2-3x+2=(x-1)(x-2)，G(x): x+5=3.;????从例 4.2 和例 4.3 可以看出以下两点: ;?例4.4 将下列命题符号化，并讨论真值. ; 解: 由于本题没有提出个体域，因而应该采用全总  个体域.;(2) 令G(x): x 登上过月球. ; (3) 令H(x):x登上过木星. 命题(3)符号化形式为 ;(4) 令 F(x): x 是在美国留学的学生， G(x): x 是亚洲人.;例4.5 将下列命题符号化: ;解: 本题没有指明个体域，因而采用全总个体域.;?1. 一般说来，多个量词出现时，它们的顺序不能随意调换.;作业： P69 5.