逻辑学第二章.ppt

3 15 2020 1 第二章命题的逻辑分析 本章的教学重点和要点命题的特征与种类复合命题的形式表达与刻画复合命题五种联系的逻辑性质与真值表刻画多重复合命题语句符号化的操作方法 命题认知的逻辑考察 传统逻辑 注重思维的过程分析 强调 概念 判断 推理 论证要求 概念要明确 判断要恰当 推理要合乎逻辑 论证要具有说服力 现代逻辑 注重思维的结果分析 命题逻辑 着眼于命题之间关系的分析 谓词逻辑 着眼于命题内各构成要素间关系的分析 第一节命题概述 一 什么是命题1 命题的定义 例举分析 命题是对思维对象有所陈述并且有真假值的语句 2 命题的特征 1 任何命题都对思维对象有所陈述 不论其正确与否 2 任何命题都有真假值 非真即假 1 离婚率的上升是社会文明进步的表现 2 流动人口的增加有利于城市的发展 3 电脑给人类带来福音 4 外来文化对民族文化的发展来说利大于弊 5 医学发展应有伦理界限 6 生态危机可能毁灭人类 7 只有年满18周岁 才有选举权 8 自由有两个方面 否定的一面是免除束缚 肯定的一面则是行为的自主 命题实例考察 1 二者的联系命题是语句所表达的思想内容 语句是命题的物质承担者 2 二者的区别 1 所有命题都用语句表达 但并非所有语句都是命题 例析 2 同一命题可用不同的语句来表达 3 同一语句可以表达不同的命题 例析 二 命题与语句 问题 下列语句是否表达命题 1 这份合同是有效的吗 2 为什麽需要政府 这种需要来源于何处 3 平面图形的 四色猜想 是正确的 4 2010年人类将登上火星 5 1 101 110 6 我喜欢贝多芬的音乐 7 哎呀 那还得了 8 请把门关上 黑板是黑色的 黑板 其色黑也 Theblackboardisblack 某人请算命先生算他弟兄几个 算命先生说 桃园三结义 孤独一枝 丁公凿井 日常思维 表达的两种情形 表达思想的多样性 思想表达的歧义性 一 命题的分类性质命题简单命题关系命题命题合取命题析取命题复合命题蕴涵命题等值命题负命题 说明 命题的分类依据在于命题的逻辑结构 逻辑结构不同则命题种类不同 这一分类着眼于命题断定情况的不同 此外命题的分类还可采用另一种标准 如下 第二节命题的分类和命题形式 3 15 2020 9 命题的另一种分类模式 模态命题命题非模态命题应当注意的是 上述两种分类是采用两种不同的依据的 他们各自的观察角度不同 在不同的标准依据下 同一命题各有不同的归依 这一分类着眼于命题对事态断定的表达形式 3 15 2020 10 1 命题形式 命题形式指用符号表示命题时所得的符号表达式 在命题演算中 它就是真值形式 在谓词演算中 它是包括全称量词和存在量词的命题形式 命题逻辑以复合命题作为自己的研究对象 因此 这里关于命题形式的考察 主要是复合命题的形式结构 二 命题形式和命题公式 2 命题形式的构成要素分析复合命题形式由真值联结词和命题元变项两部分构成 1 真值联结词 2 命题元变项 p q r 3 基本命题形式 p qp qp qp q p 例 1 家家乐超市的商品价不廉 并且物不美 2 家家乐超市的商品价不廉 或者物不美 3 家家乐超市的商品如果价廉 那么一定物不美 3 命题公式在命题逻辑中 命题形式依基本命题形式的构成依据经过合理组合 就能构成各种各样的命题公式 复杂的命题公式还要用到括号 括号内的公式是命题公式中的一个独立单位 值得注意的是 单独一个命题元变项符号亦称为命题公式 真假值是命题的特征 命题逻辑是二值逻辑 它要求命题在真假两个值的可能中 必须取一个作为自己的值 但真假概念在命题逻辑的基本理论中却包含着以下四种不同的意义 1 事实真假2 逻辑真假3 确定真假4 可能真假 三 命题逻辑中真假概念的不同界说 命题形式的逻辑性质客观上是指真值联结词的逻辑性质 每一种真值联结词的逻辑性质可通过真值表进行刻画表现 一 p q的逻辑性质1 合取命题合取命题是断定事物的若干种情况同时存在的命题 如 文艺创作既要讲思想性 又要讲艺术性 就断定了 文艺创作要讲思想性 和 文艺创作要讲艺术性 这两种情况同时存在 第三节命题形式的逻辑性质和真值表 3 15 2020 16 2 合取命题的日常表达与逻辑表达 合取命题所包含的肢命题称为合取肢 在现代汉语中表达合取命题逻辑联结词的通常有 和 既 又 不但 而且 一方面 另一方面 虽然 但是 等等 如果取 并且 作为联言命题的典型联结词 用 p q 等来表示联言肢 那么联言命题的形式可表示为 p并且q逻辑上则表示为 p q 读作p合取q 3 15 2020 17 3 p q的逻辑性质用真值表刻画如下 pqp qTTTTFFFTFFFF说明 表中的T表示真 F表示假 下同 3 15 2020 18 4 注意事项 1 析取命题析取命题是断定事物若干种可能情况的命题 如 一个物体要么是固体 要么是液体 要么是气体 2 析取命题的结构分析析取命题也是由两个以上的肢命题所组成的 包含在析取命题里的肢命题称为析取肢 如前例中 一个物体是固体 一个物体是液体 一个物体是气体 这三个命题就是前一个析取命题的三个析取肢 二 p q的逻辑性质 3 析取命题的种类析取命题可分为相容析取命题和不相容析取命题 相容的析取命题断定事物若干种可能情况中至少有一种情况存在的命题就是相容的析取命题 如 艺术作品质量差 也许由于内容不好 也许由于形式不好 就表达了相容的析取命题 所断定的事物的若干可能情况是可以并存的 内容不好 和 形式不好 也可共同导致 艺术作品质量差 这一结果 表达相容的选言命题的逻辑联结词的通常有 或 或 可能 也可能 也许 也许 等 我们通常用如下形式来表示相容的析取命题 p或者q逻辑上则表示为 p q 读作 p析取q 4 p q的逻辑性质用真值表刻画如下 pqp qTTTTFTFTTFFF 不相容的析取命题不相容的析取命题是断定事物若干可能情况中有而且只有一种情况存在的命题 如 一个三角形 要么是钝角三角形 要么是锐角三角形 要么是直角三角形 不是老虎吃掉武松 就是武松打死老虎 就都表达了不相容的析取命题 它们分别断定的关于事物的几种可能情况是不能并存的 表达不相容的析取命题的联结词有 或 或 二者不可得兼 要么 要么 不是 就是 等 我们通常用如下形式来表示不相容的选言命题 要么p 要么q 要么p要么q的逻辑性质用真值表刻画如下 pq要么p要么qTTFTFTFTTFFF 1 蕴涵命题蕴涵命题是指前件是后件的充分条件的复合命题 例如 如果你骄傲自满 那么你就要落后 这就是一个蕴涵命题 因为 在这种命题中 前件 你骄傲自满 就是后件 你要落后 的充分条件 因为一个人只要他有骄傲自满的思想存在 他就必然要落后 但是 如果一个人没有骄傲自满的思想 他是否会落后呢 在这一命题中则未作断定 三 p q的逻辑性质 2 蕴涵命题的日常表达和逻辑表达蕴涵命题联结词的语言标志通常是 如果 那么 只要 就 若 必 等等 蕴涵命题的逻辑公式是 如果p 那么q逻辑上则表示为 p q 读作 p蕴涵q p是q的充分条件是指 有P必有q 但无P未必无q 因而无q必无P 有q未必有P 3 15 2020 26 3 p q的逻辑性质用真值表刻画如下 pqp qTTTTFFFTTFFT 1 等值命题如 人不犯我 我不犯人 人若犯我 我必犯人 当且仅当三角形三内角相等 该三角形是等边三角形 等等 都是这种充分必要条件的假言命题 2 等值命题的日常表达和逻辑表达表达等值命题的联结词有 只要而且只有 才 若 则 且若不 则不 当且仅当 则 等等 我们一般将之表示为如下形式 当且仅当p 则q 逻辑上则表示为 p q 读作 p等值于q p是q的充分必要条件是指 有P必有q 无P必无q 因而有q必有P 无q必无P 充分必要条件假言判断标准形式是 当且仅当P 才q 四 p q的逻辑性质 3 p q的逻辑性质用真值表刻画如下 pqp qTTTTFFFTFFFT 五 p的逻辑性质 1 负命题通过对原命题断定情况的否定而作出的命题 就叫做负命题 例如 并非一切金属都是固体 并非有的金属不是导体 注意 负命题与性质命题的否定命题是不同的 2 负命题的逻辑公式如果用p表示原命题 那么 负命即为 并非p 3 负命题的逻辑性质用真值表刻画如下 p pTFFT 说明 1 命题形式的逻辑性质是衡量复合命题和支命题真假关系的标准 这个逻辑标准仅是一种形式标准 在现实思维中 复合命题还要求它的所有支命题在内容上有一定的相关性 2 在整个命题逻辑体系中 由这种仅以真值解释的命题变项组成的公式在逻辑上称为真值形式 pqp qp qp qp qp qTTTTTTTFTFFTFFFTFTFTTFFFFFTT注意 上表信息的三点解读 1 每一种复合命题的真假情况 2 每一种复合命题的真假与支命题的真假有何关联 3 在支命题真值情况相同的情况下 复合命题之间在真假取值上有何关联 六 真值表的阅读与命题联结关系的比较认知 1 要么 要么 pqp q要么p 要么qTTTFTFTTFTTTFFFF注意 从上表比较可知 要么p 要么q 用命题公式表示即为 p q p q 或者 p q p q 七 两种类型的日常语句的逻辑性质解读 2 只有 才 pqp q只有p 才qTTTTTFFTFTTFFFTT注意 从上表比较可知 只有p 才q用命题公式表示即为 p q 3 15 2020 35 现代逻辑用函数的方法研究命题的真值形式 一个命题形式实质上就是一个定义域和值域都是真值集合的真值函数 一个含有N个命题变元的真值函项 其变项的所有真假组合为2n种 在每种真值组合情况下 真值函数都有真假二种值 故应有22n个真值函项 第四节真值函项 3 15 2020 36 pf1f2f3f4TTTFFFTFTF 一 含有一个变元p的真值函项有4个 记做f1 f4 列表如下 pqf1f2f3f4f5f6f7f8f9f10f11f12f13f14f15f16TTTTTTTTTTFFFFFFFFTFTTTTFFFFTTTTFFFFFTTTFFTTFFTTFFTTFFFFTFTFTFTFTFTFTFTF命题形式和公式虽然数目是无穷无尽的 但当变项的数目规定以后 真值函项的数目却是确定的 不同的命题形式和公式可以具有相同的真值函项 二 含有p q两个命题变元的真值函数有16个记做f1 f16 列表如下 3 15 2020 38 1 能使研究者观察认识到千差万别的命题形式具有的同一本质 2 能使研究者将繁多的命题形式归类认知 从而进行有价值的研究 三 对真值函项进行研究的意义 一 什么是多重复合命题多重复合命题就是以复合命题作为支命题的命题 它的联结词总在两个或两个以上 二 为什么要将多重复合命题符号化符号化主要是考虑到自然语言有以下的局限性 1 自然语言不精确 具有严重的歧义性 2 自然语言语法复杂 应用具有非单义的多样化情形 第五节多重复合命题语句的符号化 符号化操作的