离散数学第二篇 谓词逻辑.pptVIP

2.3 谓词逻辑的等价式与蕴涵式 * 重要永真蕴涵式 2.3 谓词逻辑的等价式与蕴涵式 为了便于读者记忆，我们给出了B1～B8的图解表示（见图2.1）。使用前面给出的等价式和永真蕴涵式就可以证明上述的永真式。 * PART 01 基本概念和表示 主要内容 PART 02 PART 03 谓词逻辑的等价式与蕴涵式 PART 04 PART 05 格的定义与性质 谓词逻辑的翻译与解释 谓词逻辑中的推论理论 2.4 谓词逻辑中的推理理论 1．约束变元的改名规则 谓词公式中约束变元的名称是无关紧要的，(?x)P(x)和(?y)P(y)具有相同的意义。需要时可以改变约束变元的名称。但必须遵守以下改名的规则。 （1）欲改名之变元应是某量词作用范围内的变元，且应同时更改该变元在此量词辖域内的所有约束出现，而公式的其余部分不变。 （2）新的变元符号应是此量词辖域内原先没有使用过的。 * 推理规则 2.4 谓词逻辑中的推理理论 2．自由变元的代入规则 自由变元也可以改名，但必须遵守以下代入规则。 （1）欲改变自由变元x的名，必改x在公式中的每一处自由出现。 （2）新变元不应在原公式中以任何约束形式出现。 3．命题变元的代换规则 用任一谓词公式 代换永真公式B中某一命题变元 的所有出现，所得到的新公式 仍然是永真式（但在 的个体变元中不应有B中的约束变元出现），并有 。 * 推理规则 2.4 谓词逻辑中的推理理论 4．取代规则 设 都是含ｎ个自由变元的谓词公式，且A’ 是A 的子公式。若在 A中用B’取代B 的一处或多处出现后所得的新公式为B，则有 。如果A为永真式，则B也是永真式。 * 推理规则 2.4 谓词逻辑中的推理理论 5．关于量词的增加和删除规则 * 推理规则 2.4 谓词逻辑中的推理理论 5．关于量词的增加和删除规则 * 推理规则 2.4 谓词逻辑中的推理理论 谓词逻辑的推理方法是命题逻辑推理方法的拓展，因此在谓词逻辑中利用的推理规则也是T规则、P规则和CP规则，还有已知的等价式、蕴涵式以及有关量词的消去和产生规则。使用的推理方法是直接构造法和间接证明法。下面举例说明。 * 推理实例 2.4 谓词逻辑中的推理理论 谓词逻辑的推理方法是命题逻辑推理方法的拓展，因此在谓词逻辑中利用的推理规则也是T规则、P规则和CP规则，还有已知的等价式、蕴涵式以及有关量词的消去和产生规则。使用的推理方法是直接构造法和间接证明法。下面举例说明。 * 推理实例 2.4 谓词逻辑中的推理理论 * 推理实例 PART 01 基本概念和表示 主要内容 PART 02 PART 03 谓词逻辑的等价式与蕴涵式 PART 04 PART 05 格的定义与性质 谓词逻辑的翻译与解释 谓词逻辑中的推论理论 2.5 谓词逻辑中公式范式 * 在谓词逻辑的公式中，不仅有联结词还有量词出现，这使得公式可以很复杂，量词之间的关系直觉上很难看清，特别是在量词分割时。为了揭示在原来公式中并不显著的逻辑结构方面的关系，给出一种标准形式，缩小公式形式的类型范围，研究谓词逻辑中范式是很重要的。 命题逻辑中的两种范式都可以直接推广到谓词逻辑中来，只要把原子命题公式换成原子谓词公式即可。此外，根据量词在公式中出现的情况不同，又可分为前束范式和斯柯林范式。本小节将对这两种范式进行介绍，重点研究前束范式。 2.5 谓词逻辑中公式范式 定义2.7 一个合式公式称为前束范式，如果它有如下形式： (Q1x1)(Q2x2)…(Qkxk)B 其中，Qi(1≤i≤k)为?或?，B为不含有量词的公式。称Q1x1Q2x2…Qkxk为公式的首标。特别地，若A中不含量词，则A也看做是前束范式。 可见，前束范式的一般特点是对任一谓词公式F，如果其中所有量词均非否定的出现在公式的最前面，且它们的辖域为整个公式，则称公式F为前束范式。 * 前束范式 2.5 谓词逻辑中公式范式 例如： 是前束范式。 任一公式都可以化成与之等价的前束范式。化法如下。 （1）消去公式中的联结词?和 ； 利用A?B ? (A?B) ? (?A ? ?B)及 ； （2）将公式内的否定符号深入到谓词变元前并化简到谓词变元前只有一个否定号； （3）利用改名、代入规则使所有的约束变元均不同名，且使自由变元与约束变元亦不同名； （4）扩充量词的辖域至整个公式。 * 前束范式 2.5