离散数学223.pptVIP

2.2 谓词公式与翻译 1. 谓词公式 定义：设x1,x2,…,xn是客体变元，A(x1,x2,…,xn)称作是谓词演算的原子公式，简称原子公式。 下面由原子公式出发，给出谓词演算的合式公式的归纳定义： 定义：谓词演算的合式公式定义如下： 1. 原子谓词公式是一个合式公式； 2. 如果 A 是合式公式，则? A 也是合式公式； 3. 如果 A 和 B 是合式公式，则A ? B，A ? B，A ? B，A ? B 都是合式公式； 4. 如果 A 是合式公式，x是A中出现的任何变元，则(?x)A和(?x)A都是合式公式 5. 当且仅当能够有限此地应用1、2、3、4步骤所得到的公式才是合式公式。 约定： 最外层括号可以省略；量词后面如果有括号，则不能够省略。 例如：(?x)(P(x) ? Q(x)) ? (?x) P(x) ? Q(x) 2. 谓词公式的翻译 有了谓词公式，就可以表达日常语言中的一些有关命题，这称为谓词逻辑的翻译或符号化。 例1：并非名人的话都是名言 解：设 R(x): x是名人的话 F(x): x是名言 ? (?x)( R(x) ? F(x) ) 例2：新进的这批微机有质量合格的，也有质量不合格的 解：设 C(x): x是新进的微机 H(x): x质量合格  B(x): x质量不合格 (?x)( C(x) ? H(x) ) ? (?x)(