浙江大学逻辑及语言课程 第四章.ppt

第四章 复合命题及其推理 4.1 复合命题及其特点 4.1.1 什么是复合命题 所谓复合命题就是含有其他命题的命题。 4.1.2 复合命题的特点 （1）复合命题由一个或一个以上的简单命题所组成。组成复合命题的命题称作它的支命题。 （2）支命题通过“联结词”联结。不同的联结词显示出不同的逻辑性质。 （3）复合命题的真假是由支命题的真假来确定的。 4.2 联言命题及其推理 4.2.1 什么是联言命题 1、定义：联言命题就是反映几种事物情况同时存在的命题。 2、逻辑形式：p并且q 3、组成： （1）联言支: p , q； （2）联结词: “并且”；合取符号： 4.2.2 联言命题真假的确定 一个联言命题是真的，当且仅当，全部联言支都是真的。 联言命题的真值表: p q p并且q T T T T F F F T F F F F 4.2.3 联言推理 1、什么是联言推理 联言推理就是前提或者结论为联言命题的推理。 2、联言推理有效式 （1）分解式 前提为联言命题的联言推理形式，叫做联言推理分解式。 其推理形式为：p并且q，所以，p. （2）组合式 结论为联言命题的联言推理形式，叫做联言推理组合式。 其推理形式为：p，q，所以，p并且q。 4.3 选言命题及其推理 4.3.1 什么是相容选言命题 1、定义：相容选言命题就是反映几种可能事物情况至少有一种存在，也可以同时存在的命题。 2、逻辑形式：p或者q。 3、组成： （1）选言支: p , q ； （2）联结词：“或者”；析取符号： 4.3.2 相容选言命题真假的确定 一个相容选言命题是真的，当且仅当，至少有一个选言支是真的。 相容选言命题的真值表： p q p或者q T T T T F T F T T F F F 4.3.3 相容选言推理 1、定义：前提中有一个是相容选言命题的选言推理，叫做相容选言推理。 2、规则： （1）否定一部分选言支，就要肯定另一部分选言支。 （2）肯定一部分选言支，不能否定另一部分选言支。 3、相容选言推理有效式——否定肯定式： p或者q，非p，所以，q。 4.3.4 什么是不相容选言命题 1、定义：反映几种事物情况有且只有一种存在的选言命题，叫做不相容选言命题。 2、逻辑形式：要么p要么q 3、组成： （1）选言支:p,q； （2）联结词：“要么…要么”；不相容析取符号： 4.3.5 不相容选言命题真假的确定 一个不相容选 言命题是真的，当且仅当，有且只有一个选言支是真的。 不相容选言命题的真值表： p q 要么p要么q T T F T F T F T T F F F 4.3.6 不相容选言推理 1、定义：前提中有一个是不相容选言命题的选言推理，叫做不相容选言推理。 2、规则： （1）否定一部分选言支，就要肯定另一部分选言支。 （2）肯定一部分选言支，就要否定另一部分选言支。 3、不相容选言推理有效式： （1）否定肯定式：要么p要么q，非p，所以q。（2）肯定否定式：要么p要么q，p，所以非q。 猜扑克牌的智力游戏 S先生、X先生、Y先生都知道有如下 16张牌： 黑桃J、8、4、2、7、3 红桃A、Q、4 方块A、5 草花K、Q、5、4、6 约翰教授从中挑出一张，把它的点数告诉X先生，把花色告诉Y先生，并问他们能否推知这张牌是什么牌？S先生听到如下对话： X先生：“我不知道这张牌。” Y先生：“我知道你不知道这张牌。” X先生：“我知道这张牌了。” Y先生：“我也知道了。” 听罢以上对话，S先生想了一想之后，就正确地推出这张牌是什么牌。 请问：这是一张什么牌？并请说出你的推理过程。 4.4 假言命题及其推理 4.4.1 什么是假言命题 反映某一事物情况是另一事物情况的条件的命题，叫做假言命题。假言命题又叫条件命题。 条件关系的种类： （1）充分条件 有事物情况A和B，如果有A就有B，没有A不一定没有B。A就是B的充分条件。 （2）必要条件 有事物情况A和B，如果没有A就没有B，有A不一定有B。A就是B的必要条件。 4.4.1 什