第01章命题逻辑.pptVIP

逻辑学是研究推理的一门学科。 数理逻辑是用数学的方法研究推理规律的学科——引进一套符号系统来描述和处理思维形式及其规律性的一门学科。 数理逻辑的内容： 主要分支：公理化集合论、证明论、递归函数论、模型论…… 基础：命题逻辑、谓词逻辑 第一章 命题逻辑 命题逻辑，也称命题演算，它与谓词逻辑构成数理逻辑的基础，而命题逻辑又是谓词逻辑的基础。 数理逻辑是用数学方法(通过引入表意符号)研究推理的学科。因此，数理逻辑又名为符号逻辑。 （ 一套符号体系 + 一组规则 ） 命题逻辑是研究由命题为基本单位构成的前提和结论之间的可推导关系。 第一章 命题逻辑 1.1 命题及其表示法 1.2 联结词 (?、∧、∨、?、?) 1.3 命题公式与翻译 1.4 真值表与等价公式 1.5 重言式与蕴含式 1.6 对偶与范式 1.7 联结词的完备集 1.8 推理理论 1.1 命题及其表示法 一、什么是命题 定义1.1 命题是能判断真假的陈述句。 该定义有2层含义： （1）命题是一个陈述句； （2）命题具有真假值。 命题仅有两种可能的真值——真和假，且二者只居其一。真用 1 或 T 表示，假用 0 或 F 表示。 ——二值逻辑 判断给定句子是否为命题，应该分两步： 首先判定它是否为陈述句，其次判断它是否有唯一的真值。 例：判断下例句子是否为命题。 (1) 2是素数。 (2) 雪是黑色的。 (3) 1+101=110 (4) 十是整数。 (5) 向右看齐！ (6) 今天是十五号。 (7) 这朵花多美啊！ (8) 我们这里四季如春。 (9) x + y 5 (10) 你是谁？ (11) 明年十月一日是晴天。 (12) 地球外的星球上也有人。 (13) 我正在说假话。 二、原子命题与复合命题 定义1.2 由简单句（一套主谓结构）构成的命题称为原子命题或简单命题。 由若干个原子命题经命题联结词连接后所得到的命题是复合命题。 如果一陈述句再也不能分解成更为简单的陈述句，由它构成的命题称为原子命题。原子命题是命题逻辑的基本单位。 三、命题符号化 （1）原子命题用大写英文字母P，Q，R…及其带下标的Pi，Qi，Ri，…表示。 P：2是素数。 Q：雪是黑的。 将表示命题的符号——命题标识符——放在命题前面，称为命题符号化。 （2）命题的真值也符号化：用 T 或 1 表示“真”；用 F 或 0 表示“假”。 （3）命题中的联结词也符号化：?、∧、∨、?、?。 四、命题常量与命题变元 原子命题可用命题标识符表示。表示命题的符号有双重作用： （1）如果命题标识符表示确定的命题（真值确定）——命题常量； （2）如果命题标识符只表示任意命题的位置标志，即可表示任意命题（真值不确定）——命题变元。 【注】命题变元不是命题，只有用一个特定命题取代时，才能确定其真值，才变为命题——即对命题变元进行真值指派后变为命题。 1.2 联结词 例1.2.1 复合命题示例。 1．上海不是小城镇。 2．他既在学习又在工作。 3．林芳学过英语或日语。 4．如果他病了，那么他就需要休息。 5．三角形是等腰三角形，当且仅当三角形的两个底角相等。 1.2 联结词 一、否定（?） 定义1-2.1 设P为一个命题，由联结词?和命题P连接成?P，称?P为P的否定式复合命题， ?P读“非P”。称?为否定联结词。 ?P是真，当且仅当P为假； ?P是假，当且仅当P为真。否定联结词? 的定义可由表1-2.1表示之。 二、合取（∧） 定义1-2.2 设P和Q为两个命题，由命题联结词∧将P和Q连接成P∧Q，称P∧Q为命题P和Q的合取式复合命题，P∧Q读做“P与Q”，或“P且Q”。称∧为合取联结词。 仅当P和Q的真值同为真，命题P∧Q的真值才为真；否则，P∧Q的真值为假。合取联结词∧的定义由表1-2.2表示之。 三、析取（∨） 定义1-2.3 设P和Q为两个命题，由命题联结词∨把P和Q连接成P∨Q，称P∨Q为命题P和Q的析取式复合命题，P∨Q读做“P或Q”。称∨为析取联结词。 当且仅当P和Q的真值同为假，P∨Q的真值为假；否则，P∨Q的真值为真。析取联结词∨的定义由表1-2.3表示之。 由定义可知，析取联结词表示“可兼或”，“排斥或”另有别的联结词定义之。 与合取联结词一样，使用析取联结词时，也不要求两命题间一定有任何关系。 四、条件（?） 定义1-2.4 设P和Q为两个命题，由联结词?把P和Q连接成P?Q，称P?Q为命题P和Q的条件复合命题，简称条件命题。P?Q读做“如果P，则Q”或者“若P则Q”。称?为条件联结词。 当P的真值为真，而Q的真值为假时，命题P?Q的真值为假；否则，P?Q的真值为真。 条件