第1章---数理逻辑.ppt

2. 存在量词  x读做“存在一x” , “对某些x”或“至少有一x”。 这里是存在量词, x标记所作用的个体变元。它的意思是肯定存在一个, 但不排斥多于一个。  xP(x)表示“有一x使P(x)是真”  xP(x)表示“有一x, 使P(x)是真”  xP(x)表示“至少存在一x使P(x)是真, 并非这样”  xP(x)表示“至少存在一x使P(x)是真, 并非这样” 在谓词P(x), Q(x, y), …等的前边加上全称量词x或存在量词x, 说成是变元x被全称量化或存在量化。 例 2 (a) y(y＜y+1) (c) y(y＜y+1) ; (b) y(y=3) (d) y(y=3) ; 如果论述域是整数, 则(a)是真, (b)是假, (c)和(d)是真。 设F(x)表示“x是质数”, 将谓词F(x)变为命题有两种方法, 第一种是将x取定一个值, 例如 4, 那么F(4)是命题(假), 这种方法的本质是给变元以约束。第二种是将谓词量化,例如 xF(x)(假), xF(x)(真), 这种方法的本质也是给变元以约束, 不过约束方法不一样。 所以量化的作用是约束变元。 量化后所得命题的真值与论述域有关, 例如y(y=3), 如果论述域是正整数, 这一命题是真, 如果论述域是大于 4 的整数, 则这一命题是假。 对不同的个体变元, 用不同的论述域是可以的, 但有时, 不同的个体变元一起讨论时, 用不同的论述域甚感不便, 于是我们设想有一个集合, 它包括谓词中各个体变元的所有个体域, 我们称它为全总个体域。用了全总个体域以后, 个体变元取值范围一致了, 但不同论述对象须用不同的特性谓词加以再刻画。 设F(x)表示“x是不怕死的”, D(x)表示“x是要死的”, M(x)表示“x是人”。 如果论述域是全人类, 则 ; “人总是要死的”译为xD(x)。 ; “有些人不怕死”译为xF(x)。 ; 如果是全总个体域, 则分别译为 ;  x(M(x)→D(x))  x(M(x)∧F(x)) （1） （2） (1) 式等价于x(M(x)∨D(x)), 所以(1)可以表达为“对一切x, 如果x是人, 则x是要死的”; 也可表达为“对一切x, x不是人, 或是要死的”。各概念间的关系如图 1.6 -1所示。 图 1.6 -1 要死的 (2) 式可表达为“存在一些x, x是人并且是不怕死的”。 各概念间的关系如图 1.6 -2 所示。 图 1.6 -2 特性谓词怎样加入到断言中去, 有以下两条规则: (1) 对全称量词, 特性谓词作为蕴含式之前件而加入之。 (2) 对存在量词, 特性谓词作为合取项而加入之。 第一条规则不易理解, 例如“人总是要死的”译为 x(M(x)∧D(x))似乎也不错, 其实不对, 这主要由于量化断言的真假与论述域有关, 现在是全总个体域, 域中除人外, 还有不是人的x, 上述的意义是“所有的x, 都是人并且都是要死的”, 所以它是不正确的。 ? 例 3 (a) 没有不犯错误的人。 解 设F(x)为“x犯错误”, M(x)为“x是人”。 则上句可译为: ( x(M(x)∧ F(x))) (b) 凡是实数, 不是大于零就是等于零或小于零。 解 设R(x)表示“x是实数”, ＞(x, 0), =(x, 0), ＜(x, 0)分别表示x大于 , 等于 , 小于零。 则上句可译为: x(R(x)→＞(x, 0)∨=(x, 0)∨＜(x,0)) (c) 在ALGOL -60程序设计语言中, 一维整数数组array A［1∶50] 中的每一项均不为零, 可以表示为 x(I(x)∧x≥1∧x≤50→A［ x ] ≠0) 这里I(x)表示“x是整数”。 其它谓词就用中缀记法。 ; 多元谓词可以多重量化, 方法与一元谓词的量化一致。 例 4 (a) 对于所有的自然数, 均有x+y≥x。 设F(x