谓词逻辑中的命题翻译(牛连强).pdfVIP

34 工科离散数学 2.2 谓词逻辑中的命题翻译 由于谓词有谓词填式和量词量化两种转换为命题的方法，实际中也有两类命题需要翻译。 2.2.1 特殊化个体词的命题 当命题中的个体词是固定对象时，不需要关心个体域，只要刻画出表示个体词的性质或个体 词之间关系的谓词，并构成谓词填式即可。 例2-3 用谓词逻辑符号化下述命题： (1) 苏格拉底是人。 (2) 孙建中比李晓光个子高。 (3) 5 介于2 和8 之间。 (4) 若m 是正数，则m是负数。 (5) 这只大红书柜摆满了那些古书。 解 记M(x) ：x 是人； T(x, y) ：x 比y 个子高； Between(z, x, y) ：z 介于x 和y 之间； P(x) ：x 是正数，N(x) ：x 是负数； F(x,y) ：x 摆满了y。 上述命题可符号化为： (1) M(苏格拉底) 。 (2) T(孙建中, 李晓光) 。 (3) Between(5, 2, 8) 。 (4) Pm( )  N(m) 。 (5) F(这只大红书柜, 那些古书) 。 如果都表示成符号会更好一些。例如，记s：苏格拉底，y：孙建中，x：李晓光，a：这只大 红书柜，b：那些古书，则(1) 、(2)和(5)可用纯符号形式表示为： (1) M(s) 。 (2) T(y, x) 。 (5) F(a, b) 。 这里对(5) 的刻画不够细致。如果将 “这只”和 “那些”作为个体词，可引入如下谓词： R(x) ：x 是大红书柜，Q(y) ：y 是古书。于是，命题可符号化为如下的谓词填式： R(这只)  Q(那些) F(这只, 那些) 还可以进一步分解那些修饰限定词，即引入如下谓词和个体词符号： A(x) ：x 是书柜，E(y) ：y 是图书，B(x) ：x 是大的，C(x) ：x 是红的，D(y) ：y 是古老的；a： 这只，b：那些，则原命题可表示为： Aa( ) Ba( ) C(a) E(b) Db( ) F(ab, ) 可见，谓词公式的翻译结果因对个体词性质的刻画程度不同而异。 2.2.2 量词量化的命题 在个体词为泛指时，符号化命题不仅要给出用于刻画表示个体词的性质或个体词之间关系的 第2 章 谓 词 逻 辑 35 谓词 （称为 “中心谓词”），还需要增加一些谓词来描述个体词的范围，这样的谓词称为 “特性谓 词”或“限定谓词”。特性谓词的作用是将个体变元局限在满足该谓词代表的性质范围内。如果采 用全总个体域，则一定需要这种特性谓词。 一般地，谓词逻辑中的简单命题具有如下形式： (a) 所有A 都是B； (b) 存在A 是B。 首先，用B(x)表示 “x 是B”，刻画出个体词x 的性质。但由于个体域为全总个体域，还需 引入特性谓词A(x)表示 “x 是A”，以限定个体变元x 的取值范围。于是，命题符号化为： (a) x(Ax( ) B(x)) ； (b) x(Ax( ) B(x)) 。 例如，对于命题 “所有有理数都是实数”，应按如下方式进行符号化： (1) 引入描述个体词性质的中心谓词R(x)表示：x 是实数。 (2) 引入特性谓词Q(x)表示：x 是有理数。则命题表示为： xQ( (x) R(x)) 一旦论域局限于特定的范围，特性谓词便不再出现。例如，假定论域 D为有理数集合，则命 题可表示为：