离散数学-----命题逻辑.docxVIP

离散数学-----命题逻辑逻辑：是研究推理的科学。公元前四世纪由希腊的哲学家亚里斯多德首创。作为一门独立科学，十七世纪，德国的莱布尼兹(Leibniz)给逻辑学引进了符号, 又称为数理逻辑(或符号逻辑)。 逻辑可分为：1.形式逻辑（是研究思维的形式结构和规律的科学，它撇开具体的、个别的思维内容，从形式结构方面研究概念、判断和推理及其正确联系的规律。）→数理逻辑（是用数学方法研究推理的形式结构和规律的数学学科。它的创始人Leibniz，为了实现把推理变为演算的想法，把数学引入了形式逻辑中。其后，又经多人努力，逐渐使得数理逻辑成为一门专门的学科。） 2.辩证逻辑（是研究反映客观世界辩证发展过程的人类思维的形态的。）一、命题及其表示方法 1、命题 数理逻辑研究的中心问题是推理,而推理的前提和结论都是表达判断的陈述句，因而表达判断的陈述句构成了推理的基本单位。基本概念：命题：能够判断真假的陈述句。 命题的真值：命题的判断结果。命题的真值只取两个值:真（用T(true)或1表示）、假（用F(false)或0表示） 。真命题：判断为正确的命题，即真值为真的命题。 假命题：判断为错误的命题，即真值为假的命题。 因而又可以称命题是具有唯一真值的陈述句。 判断命题的两个步骤： 1、是否为陈述句； 2、是否有确定的、唯一的真值。说明：（1）只有具有确定真值的陈述句才是命题。 一切没有判断内容的句子，无所谓是非的句子，如感叹句、祁使句、疑问句等都不是命题。（2） 因为命题只有两种真值，所以“命题逻 辑”又称 “二值逻辑”。 （3） “具有确定真值”是指客观上的具有，与我们是否知道它的真值是两回事。2、命题的表示方法 在书中，用大写英文字母A,B,…,P,Q或带下标的字母P1,P2,P3 , …,或数字(1),[2], …,等表示命题，称之为命题标识符。 命题标识符又有命题常量、命题变元和原子变元之分。命题常量：表示确定命题的命题标识符。命题变元：命题标识符如仅是表示任意命题的位置标志，就称为命题变元。原子变元：当命题变元表示原子命题时，该变元称为原子变元。命题变元也用A,B,…,P,Q,P1,P2,P3 , …, 表示。3、命题的分类：简单/原子命题：不能分解为更简单的陈述语句的命题。复合命题：由简单命题通过联结词联结而成的命题。联结词就是复合命题中的运算符。 注意：（1）一个符号(如P), 它表示的是命题常量还是命题变元，一般由上下文来确定。（2）命题变元可以表示任意命题，它不能确定真值，故命题变元不是命题。这与“变数x不是数”是一样的道理。 二、逻辑联结词在命题逻辑中,主要研究的是复合命题,而复合命题是由原子命题与逻辑联结词组合而成,联结词是复合命题的重要组成部分.1、否定联结词 ┐ 定义：设P为一命题， P的否定是一个新的复合命题, 称为P的否定式，记作 “┐P”读作“非P”. 符号“ ┐” 称为否定联结词。 ┐P为真当且仅当P为假.说明： “┐”属于一元运算符. “┐”的定义也可用下表来说明. 联结词“┐”的定义真值表 P┐P01102、合取联结词∧ 定义：设P,Q为二命题，复合命题“P并且Q”（或“P与Q”）称为P与Q的合取式，记作P∧Q，符号“∧” 称为合取联结词. P∧Q为真当且仅当P和Q同时为真. 联结词“∧”的定义真值表PQ P∧Q 000010100111注意：不要见到“与”或“和”就使用联结词∧！ 3、析取联结词∨ 定义：设P, Q为二命题，复合命题“P或Q” 称为P与Q的析取式，记作P∨Q ，符号∨称为析取联结词. P∨Q为真当且仅当 P与Q中至少有一个为真. 联结词“∨”的定义真值表PQ P∨Q 000011101111说明：“∨” 属于二元(binary)运算符.析取运算特点：只有参与运算的二命题全为假时，运算结果才为假，否则为真。由析取联结词的定义可以看出， “∨”与汉语中的联结词“或”意义相近，但又不完全相同。在现代汉语中，联结词的“或”实际上有“可兼或”和“排斥或”之分。 注意：当P和Q客观上不能同时发生时，“P或Q”可以符号化为“P∨Q”。4、 条件联结词(蕴涵联结词)→ 定义：设P, Q为二命题，复合命题“如果P则Q (若P则Q)” 称为P与Q的条件命题,记作P Q. PQ为假当且仅当P为真且Q为假.称符号“”为条件联结词。并称P为前件，Q为后件. 联结词“”的定义真值表PQP → Q001011100111 注：（1）PQ表示的基本逻辑关系是,Q是P的必要条件或P是Q的充分条件. 因此复合命题“只要P就Q”、“因为P，所以Q”、“P仅当Q”、“只有Q才P”等都可以符号化为PQ 的形式。（2） “” 属于二元运算.注意: (1)与自然语言的不同：前件与后件可以没有任何内在联系！(2) 在数学中，“若