第7章离散数学.ppt

第七章 一阶谓词逻辑 命题逻辑的局限性 在命题逻辑中，将简单命题作为基本研究单位，不再对它进行分解，因而无法揭示原子命题内部的特征。 因此，命题逻辑的推理中存在着很大的局限性，如要表达“某两个原子公式之间有某些共同的特点”或者是要表达“ 两个原子公式的内部结构之间的联系”等事实是不可能的。此外，有些简单的推理形式，如典型的逻辑三段论，用命题演算的推理理论无法验证它。 例子：苏格拉底三段论 前提： 所有的人都是要死的； ???????? 苏格拉底是人。 结论： 所以，苏格拉底是要死的。 显然，上述三个命题有着密切的关系，当前两个命题为真时，第三个命题必定是真。 换言之，在命题逻辑中， 设P：所有的人都是要死的； Q：苏格拉底是人； R：苏格拉底是要死的。 则苏格拉底三段论符号化为： 根据逻辑蕴涵关系，命题公式： 应为永真公式，也即在任何解释下，公式的取值为真，但实际上并非如此。 此时，当P取“1”，Q取“1”，R取“0”时， 也就是说，命题公式 不是永真公式，即 不能成立。所以用命题逻辑已无法正确地描述上述情况，这就显示了命题逻辑的局限性。 问题出在哪里呢？ 问题就在于这类推理中，各命题之间的逻辑关系 不是体现在原子命题之间，而是体现在构成原子 命题