第二讲命题逻辑.docVIP

第二章 命题逻辑 逻辑学（ logic ） 是一门研究思维形式及思维规律的科学。 数理逻辑（mathematical logic) 是用数学的方法来研究人类推理过程的一门数学学科。其显著特征是符号化和形式化，即把逻辑所涉及的“概念、判断、推理”用符号来表示，用公理体系来刻划, 并基于符号串形式的演算来描述推理过程的一般规律。 数理逻辑又称符号逻辑、现代逻辑。 一、学习目的与要求 本章目的是介绍命题逻辑的基本概念。掌握利用命题逻辑表示自然语言，描述概念、判断和推理。建立初步的语言形式化方法。 二、知识点 1．命题的概念、表示方法；联结词的逻辑意义。 2．命题公式的递归定义，自然语言翻译成命题公式 3．真值表的构造、命题公式等价的概念。 4．重言式与蕴涵式的定义、逻辑意义，逻辑等价与逻辑蕴涵的意义和证明方法。常用的逻辑等价公式和逻辑蕴涵公式。 5．命题公式的对偶式、合取范式、析取范式、主合取范式、主析取范式。逻辑小项、逻辑大项。任给公式化为析取范式、任给公式化为主析取范式、任给公式化为合取范式、任给公式化为主合取范式。 6．命题逻辑的推理理论，主要的推理方法：真值表法、直接证明法、间接证明法。常用推理规则：P规则、T规则、CP规则。 7．命题逻辑的应用示例。 三、要求 1．识记 命题表示方法、真值判断、命题公式的递归定义。 2．领会 联结词真值确定、翻译、命题公式的等价性和蕴涵性证明、任给公式化为析取范式、任给公式化为主析取范式、任给公式化为合取范式、任给公式化为主合取范式。 3．简单应用 命题逻辑推理规则，命题逻辑设计简单的开关电路。 2.1 命题及其表示 命题 所谓命题，是具有真假意义的陈述句，也就是能够确定或分辨其真假的陈述句，且真与假必居其一。简言之，命题是非真即假的陈述句。命题是真就说其真值为真，命题是假就称它的真值为假。真值只取两个：真或假。真值为真的命题称为真命题，真值为假的命题称为假命题。真命题表达的判断正确，假命题表达的判断错误。任何命题的真值都是唯一的。 注：判断给定句子是否为命题，应该分两步：首先判定它是否为陈述句，其次判断它是否有唯一的真值。 例1 判断下列句子是否为命题。 (1) 4是素数 (2) 是无理数 (3) 大于 (4)月球上有冰 (5) 2100年元旦是晴天 (6) π大于吗？ (7) 请不要吸烟！ (8) 这朵花真美丽啊！ (9) 我正在说假话。 解: 本题的9个句子中，(6)是疑问句，(7)是祈使句，(8)是感叹句，因而这3个句子都不是命题。剩下的6个句子都是陈述句，但(3)无确定的真值，根据的不同取值情况它可真可假，即没有唯一的真值，因而不是命题。 若(9)的真值为真，即“我正在说假话”为真，也就是“我正在说真话”，则又推出(9)的真值应为假；反之，若(9)的真值为假，即“我正在说假话”为假，也就是“我正在说真话”，则又推出(9)的真值应为真。于是(9)既不为真又不为假，因此它不是命题。像(9)这样由真推出假，又由假推出真的陈述句称为悖论。凡是悖论都不是命题。 本例中，只有(1)，(2)，(4)，(5)是命题。(1)为假命题，(2)为真命题。虽然今天我们不知道(4)，(5)的真值，但它们的真值客观存在，而且是唯一的，将来总会知道(4)的真值，到2100年元旦(5)的真值就真相大白了。 ▋ 判断命题时应注意以下几点： 某些命题可能无法查明其真值，如：公元1100年元旦下雨； 命题真假会因时因地而异，如：现在是上午； 某些命题尚未确定其真值，如：2100年元旦是晴天； 那些“自称谓”的陈述句可能产生自相矛盾的结论(悖论)，故不在我们讨论之列。如：某人说:“我正在说谎”。 注意: 数理逻辑的任务不在于研究某个具体命题的真假问题，而在于它可以赋予真或假的可能性，特别是研究各命题规定其真值后它们之间的联系。 根据命题的构成形式，可以将命题分为： 原子命题：不能再细分的命题称为原子命题。 复合命题：由原子命题和命题联结词构成。 例如，“明天下雪”、“是素数”都是原子命题，而“明天下雪或明天下雨”是复合命题。 命题联结词 命题联结词又称为逻辑运算符，常用的有五种：否定词、合取词、析取词、蕴涵词和等值词。对于每种联结词，可以用真值表表示其运算规则。 （1） 否定词 设为命题，那么“不真”为另一命题，表示为，叫做的否定，读做“非”。 例2：设：这些都是男生；则：这些不都是男生（不能译成“这些都不是男生”）。 （2）合取词 如果和是命题，那么“并且”也是命题，记为，称为与的合取，读做“与”或“并且”。为真当且仅当和都为真。的真值表如下： F F F F T F