第 1 章 命逻辑.docVIP

第 1 章 命题逻辑 数理逻辑是用数学方法研究思维规律和推理过程的科学，而推理的基本要素是命题，因此命题逻辑是数理逻辑最基本的研究内容之一，也是谓词逻辑的基础。由于数理逻辑使用了一套符号，简洁地表达出各种推理的逻辑关系，因此，一般又称之为符号逻辑。数理逻辑和电子计算机的发展有着密切的联系，它为机器证明、自动程序设计、计算机辅助设计、逻辑电路、开关理论等计算机应用和理论研究提供了必要的理论基础。 一、命题与命题变量 在日常生活中，人们不仅使用语句描述一些客观事物和现象，陈述某些历史和现实事件，而且往往还要对陈述的事实加以判断，从而辨其真假。语句可以分为疑问句、祈使句、感叹句与陈述句等，其中只有陈述句能分辨真假，其他类型的语句无所谓真假。在数理逻辑中，我们把每个能分辨真假的陈述句称作为一个命题。陈述句的这种真或假性质称之为真值或值，这就是说真值包含“真”和“假”。因而命题有两个基本特征，一是它必须为陈述句：二是它所陈述的事情要么成立(真)，(假)， 命题可按其真值分为两类。若一个命题是真的，则称其真值为真，用1或T表示，称该命题为真命题；若一个命题是假的，则称其真值为假，用0或F表示，称该命题为假命题。命题还可根据其复杂程度分类。只是由一个主语和一个谓语构成的最简单的陈述句，称为简单命题或原子命题或原始命题。简单命题不可能再分解成更简单的命题了，它是基本的，原始的。当然，也有一些命题并不是最基本的，它们还可以分解成若干个简单命题。由若干个简单命题通过联结词复合而成的更为复杂的新命题称为复合命题或分子命题。复合命题仍为陈述句。任意有限个简单或复合命题，还可用若干不同的联结词复合成极为复杂的复合命题。 简单命题和复合命题的真值是固定不变的，故又可称为命题常量或命题常元，简称为命题。而有些陈述句尽管不是命题，但可以将其变成命题，它的真值是不固定的、可变的，这种真值可变化的陈述句称为命题变量或命题变元。命题常元或命题变元用大写英文字母A，B，P，Q，Bi，Pi，Qi1或T表示一个抽象的“真命题”，F表示一个抽象的“假命题”。命题变元虽然没有确定的真值，但当我们用一个具体的命题常元代入时，它的真值就可确定了。 二、命题联结词 日常用语中有很多不同意义的联结词可将较简单的语句联结成复杂的复合语句。命题逻辑中简单命题也可以通过联结词复合成复合命题，因此，复合命题的真值不仅与其中所含的简单命题的真值有关(但与简单命题的含义无关)，(或称命题运算符或命题运算)。实际上这些联结词己完全够用了。这里要特别指出的是，下面给出的联结词虽然与通常语言中的联结词有相应的含义，但决不可与之等同，它们是通常语言里的联结词的逻辑抽象，必须严格按定义理解。 定义1 设P为命题，复合命题“非P”称为P的否定式或否命题或否定，记作?P。符号“?”称为否定联结词。P真当且仅当?P假。 ?P的取值也可用表1-1定义，这种表称为?P的真值表(真值表的构造类似于集合的成员表)。表中的1和0分别表示标记该列的命题取值为真和为假。“?”相当于普通用语中的“非”、“不”、“无”、“没有”、“并非”等否定词。 定义2 设P，QP且Q”称为P和Q的合取式或合取，记作P∧Q或P×Q。符号“∧”称为合取联结词。P∧Q为真当且仅当P和Q同时为真。 P∧Q的真值表如表1-2所示。“∧”相当于日常用语中的“与”、“且”、“和”、“又”、“并且”、“以及”、“既……又……”、“不仅……而且……”、“虽然……但是……”、“尽管……仍然……”等词语。“∧”在逻辑电路中表示“与门”， 定义3 设P，QP∨Q”称为P和Q的析取式或析取，记作P∨Q或P+Q。符号“∨”称为析取联结词。P∨Q为假当且仅当P和Q同时为假。 P∨Q的真值表如表1-3所示。符号“∨”与通常用语中的“……或……”、“……或许……”等有类似之处，但也有不同之处。通常用语中的“或者”一词的意义可根据上下文理解成“可兼或”(即“相容或”)或“不可兼或”(即“排斥或”)，是一个有二义性的词。“∨”是可兼或，它允许所联结的两个命题同时为真。(而不可兼或则不允许联结的两个命题同时为真，两个命题中有且只有一个命题为真。)“∨”在逻辑电路中表示“或门”， 在命题逻辑中有上述三个联结词就足够了，但为了方便起见，我们还可根据需要定义其他联结词，它们在某些场合特别有用。 定义4 设P，QP，Q”称为P和Q的蕴含式或蕴涵式或条件式，或称P蕴含Q，P→Q。其中P，Q(前提)和后件(结论)。符号“→”称为蕴含联结词。P→Q为假当且仅当P真和Q假同时成立。 P→Q的真值表如表1-4所示。“→”是日常用语中“如果……那么……”、“只要……就……”、“必须……以便……”、“仅当……则……”等词汇的逻辑抽象。 定义5 设P