离散数学第2版作者尤枫第02章谓词逻辑课件.PPTVIP

第2章 谓词逻辑 2.1.1 谓词的概念和表示 2.1.2 命题函数和量词 2.2.1 谓词公式 2.2.1 谓词公式 2.2.2 谓词逻辑中命题的翻译 2.2.3 变元的约束 2.3.1 谓词公式的真值 2.3.2 谓词演算的永真式 2.3.3 永真式的变换规则 2.4 前束范式 2.5.1 推理规则 2.5.2 推理应用举例 第2章 谓 词 逻 辑 定义2-17 对谓词公式A(x)来说，在量词?y或?y 的辖域内，如果没有x的自由出现， 则称A(x)对于个体变元y是自由的。 由定义可知，若y在A(x)中不是约束出现的， 则A(x)对于y一定是自由的。 2.2.3 变元的约束 第2章 谓 词 逻 辑 量词对变元的约束，与量词出现的次序有关， 量词出现的次序一般不可随意更改。 例如，?x?y(x+y=0)表示“对于任意的x均存在y， 使得x+y=0”，这是一个真命题， 而 ?y?x(x+y=0)表示 “存在y，使对于任意的x均有x+y=0”， 这是一个假命题，它们具有不同的意义。 第2章 谓 词 逻 辑 一个谓词公式仅仅是由一些抽象符号组成的，只有在对其进行解释后才有真正的意义，