逻辑导论3 第三章.pptVIP

第三章 逻辑推理：命题逻辑  第一节 复合命题 一、概述 1、什么是命题？ 2、命题的种类 一、什么是命题？ 1、如果试纸变红，则溶液呈酸性 2、试纸变红了 3、鲁迅是浙江绍兴人 命题是对事物情况所作的陈述，一个命题或者为真、或者为假（真值）。 关于“真值” 真话 实话 假话 谎话 命题-陈述句 单句 -------- 简单命题 陈述句 命题 复句 -------- 复合命题 复合命题（简单命题+联结词）： 例1 甲有作案动机并且甲有作案时间 例2 如果铁比木头轻，那么铁会浮在水面上 支命题 命题的真值：简单命题的真假；复合命题的真假 逻辑联结词的作用类似于数学算子： x ＋ y x × y 在命题逻辑中，处于核心地位的是逻辑联结词，它们表达命题和推理的逻辑结构，表达推理诸构成要素之间的真假关系。 三、命题的种类 简单命题??????????---------单句 命题 基本复合命题??二重复句 陈 复合命题 复句 述 多重复合命题??多重复句 句 命题的分类 推理的分类 简单命题 简单命题推理 命题 推理 复合命题 复合命题推理 二 、 复合命题的种类及其形式 基本复合命题的种类 划分标准 基本复合命题的构成：联结词 + 简单命题 联结词的种类 关联词的种类 关联词的种类： 并非?? ??并且?? 不但??而且?? 虽然??但是?? 尽管??也?? ??或者?? 要么??要么?? 如果??那么?? 只要??就?? 一旦??就?? 只有??才?? ??当且仅当?? ?? 逻辑联结词是对关联词的抽象，逻辑联结词的意义要比关联词单纯（只表示真值关系）。 逻辑联结词可概括为五种，相应地： 基本复合命题有5种 五种逻辑联结词及五类基本的复合命题： 名称 符号 对应的关联词 生成的复合命题及形式 否定词 ? 并非?? 负命题 ? p 合取词 ? ??并且?? 联言命题 p?q 析取词 ? ??或者?? 选言命题 p?q 蕴涵词 ? 如果??则?? 假言命题 p?q 等值词 ? ??当且仅当?? 等值命题 p?q （一）负命题 1、什么是负命题 例1 不是所有的证人都讲真话。 2 到过现场的并不都是作案人。 3 关于身份关系的协议不适用合同法的有关规定。 负命题：否定一个命题所得到的那个命题。 2、负命题的命题形式 ? p （ ?是一元联结词） 3、负命题在自然语言中的各种表达方式 例1 张三是凶手。 2 张三杀了李四。 3 张三经常殴打李四。