离散数学王元元习题解答-(4).docVIP

PAGE PAGE 11 *第三章 消 解 原 理 3.1 斯柯伦标准形 内容提要 我们约定，本章只讨论不含自由变元的谓词公式(也称语句,sentences)，所说前束范式均指前束合取范式。 全称量词的消去是简单的。因为约定只讨论语句，所以可将全称量词全部省去，把由此出现于公式中的“自由变元”均约定为全称量化的变元。例如A(x)实指?xA(x)。 存在量词的消去要复杂得多。考虑?xA(x)。 （1）当A(x)中除x外没有其它自由变元，那么，我们可以像在自然推理系统中所做那样，可引入A(e/x)，其中e为