第7章离散数学导论.ppt

第七章 一阶谓词逻辑 命题逻辑的局限性 在命题逻辑中，将简单命题作为基本研究单位，不再对它进行分解，因而无法揭示原子命题内部的特征。 因此，命题逻辑的推理中存在着很大的局限性，如要表达“某两个原子公式之间有某些共同的特点”或者是要表达“ 两个原子公式的内部结构之间的联系”等事实是不可能的。此外，有些简单的推理形式，如典型的逻辑三段论，用命题演算的推理理论无法验证它。 例子：苏格拉底三段论 前提： 所有的人都是要死的； ???????? 苏格拉底是人。 结论： 所以，苏格拉底是要死的。 显然，上述三个命题有着密切的关系，当前两个命题为真时，第三个命题必定是真。 换言之，在命题逻辑中， 设P：所有的人都是要死的； Q：苏格拉底是人； R：苏格拉底是要死的。 则苏格拉底三段论符号化为： 根据逻辑蕴涵关系，命题公式： 应为永真公式，也即在任何解释下，公式的取值为真，但实际上并非如此。 此时，当P取“1”，Q取“1”，R取“0”时， 也就是说，命题公式 不是永真公式，即 不能成立。所以用命题逻辑已无法正确地描述上述情况，这就显示了命题逻辑的局限性。 问题出在哪里呢？ 问题就在于这类推理中，各命题之间的逻辑关系 不是体现在原子命题之间，而是体现在构成原子 命题的内部成分之间，而命题逻辑无法将这种内在联系反映出来； 要反映这种内在联系，就必须对简单命题做进一步的分析 本章在命题逻辑的基础上，引入量词的概念，谓 词公式及其解释，讨论在一阶谓词逻辑中谓词公 式的等价与蕴涵关系及范式，并介绍相应的推理 理论。 7.1 一阶逻辑基本概念 在命题逻辑中，命题是能够判断真假的陈述句，从语法上分析，一个陈述句由主语和谓语两部分组成。以下通过几个例子来说明： 如句子：“张明是上海财经大学的学生。” 可分解成两个部分：“张明”是主语，“是上海财经大学的学生。”是谓语。 再比如：“李天是大学生” “张明是大学生。” 此时，在命题逻辑中，若用命题P，Q分别表示上述两句话，则P，Q显然是两个毫无关系的命题，无法来显示他们之间的共同特征。但是，由这两句话，我们可以看出这两个命题所表达的一个共同的特征：“是大学生”。 因此，若将句子分解成：“主语+谓语” 同时将相同的谓词部分抽取出来，则可表示这一类的语句。此时，若用P表示：P?：是大学生。 P后紧跟： “某某人” 则上述两个句子可写为：P（李天）；P（张明）。 因此，为了揭示命题内部结构及其命题的内部结构的关系，就按照这两部分对命题进行分析，分解成主语和谓语。 7.1.1谓词、个体词和个体域 定义7.1 个体词是指所研究对象中可以独立存在的具体的或抽象的客体。表示具体的、特指的个体词，称为个体常元，常用小写字母a，b，c，… 来表示。表示抽象的、泛指的或在一定范围内变化的个体词，称为个体变元，常用小写字母x，y，z，… 来表示。 个体变项的取值范围为个体域(或称论域)，常用符号D表示。个体域可以是有限个体的集合，如：{1，2，3}，{a，b，c}，{上海财经大学全体在校学生}；也可以是无限个体的集合，如：自然数全体，整数全体。 最大的个体域是包含宇宙中全体事物的个体域，称为全总个体域。当无特殊声明时，默认个体域为全总个体域。 例子： 例7.1 上海、北京、李天、张明、计算机班、定理、熊猫等等都是个体常量。 例7.2 （1）上海是一座美丽的城市。 （2）离散数学是计算机的基础课程。 （3）李天是大学生。 （4）人会学习。 其中“上海”、“离散数学”和“李天”是个体常量， “人”是个体变量。 谓词： 定义7.2 用来刻画一个个体的性质或多个个体之间关系的词，称为谓词。谓词中包含个体的数目称为谓词的元数。谓词常用大写字母P，Q，R，… 来表示。 表示有具体确定意义的性质或关系的谓词，称为谓词常元，常用大写字母A，B，C，…表示，否则称为谓词变元，即表示抽象的和泛指的谓词。 例子： 例7.3 将下列命题符号化 （1）X是有理数。 （2）X与Y具有关系L。 （3） 小王与小李同岁。 （4）上海位于南京与杭州之间。 （5）2是偶数且是素数。 （1）X是个体变项，“…是有理数”是谓词，记为G，命题符号化形式为 。 （2）X，Y为两个个体变项，谓词为L，命题符号化形式为 。 （3）小王，小李都是个体常项，“… 与… 同岁”是谓词，记为H，命题符号化形式为 ，其中，a：小王，b：小李。 （4）上海、南京与杭州是个体常项，“…位于…与…之间”是谓