离散数学 命题.ppt

离散数学 一、地位作用: 离散数学与其他专业课的关系 第1节、基本概念 1、命题的定义 一个具有确定的真假意义的陈述句称为命题；一般用英文大写字母表示。 2、命题的真值 一个命题的取值或真或假，这两种可能的取值称为命题的真值。 3、真值的表示 真值是真 例、判断下列命题的真假 (1)上海是一个小山村。 (2)抽烟的人均要得肺癌。 (3)十是整数。 (4)上课去！ (5)你吃饭了吗？ (6)今天天气多好啊！ (7)蚊子是鸟类动物。 (8)我正在说谎。 关于悖论 “我正在说谎。” 4、命题标识符 用英文大写字母表示命题 5、原子命题 不能再分解成更简单的命题 6、原子变元 若命题变元表示原子命题时，该变元称原子变元。 例： 命题变元是命题吗？ 7、分子命题 由原子命题通过逻辑联结词构成的新命题 第2节 逻辑联结词 1、真值表的概念 2、否定（? ） 3、合取（∧，与） 4、析取（∨，或） 5、单条件（→） 6、双条件（? ） 7、命题符号化 1、真值表的概念 在复合命题中，对命题变元的所有种可能的真值指派，复合命题都有一个确定的真值与其相对应，形成一个表，称为真值表。 2、否定（? ） 一元运算符，当且仅当P为真时，? P为假。真值表如表1.1所示。 例、给出下列命题的否定命题 （1）大连的每条街道都临海。 3、合取（∧，与） 二元运算符，当且仅当P、Q的真值均为真时，P∧Q的真值才为真。真值表如表1.2所示。 表1.2 逻辑联结词“∧”的真值表 例： P：2008年将在北京举行奥运会； Q：两个三角形全等； P ∧ Q代表什么命题？ 注意： 在数理逻辑中，只要P和Q的真值确定， P ∧ Q的真值即可确定，就可以成为新的命题，不管这个新命题在自然语言中是否有意义。 将下列命题符号化 (1)我虽然生病，但我仍去学校。 (2)我虽然有钱，但我不去看电影。 (3)张华与李明在吃饭。 解：命题符号化过程及结果 (1)我虽然生病，但我仍去学校。 P：我生病；Q：我去学校； (2)我虽然有钱，但我不去看电影。 P：我有钱; Q：我去看电影; (3)P:张华在吃饭;Q:李明在吃饭; 4、析取（∨，或、可兼或） 二元运算符，当且仅当P、Q的真值均为假时，P∨Q的真值才为假。真值表如表1.3所示。 表1.3 逻辑联结词“∨”的真值表 例:将下列命题符号化： （1）张三或李四可以做这件事。 （2）我们不能既划船又跑步。 解：命题符号化过程及结果 (1)张三或李四可以做这件事。 P：张三可以做这件事； Q：李四可以做这件事； (2)我们不能既划船又跑步。 P：我们划船; Q：我们跑步; 例： P：2008年将在北京举行奥运会； Q：两个三角形全等； P ∨Q代表什么命题？ 不可兼或（ ） 二元运算符，存在一种可能性或另一种可能性，但二者不能同时为真。真值表如表1.4所示。 表1.4 逻辑联结词“ ”的真值表 例:将下列命题符号化： 今天晚上他要么去体育场看足球赛，要么在家里看电视的实况转播。 解：命题符号化过程及结果 5、单条件（→ ，善意的推定） 二元运算符，当且仅当P为真，Q为假时， P→Q的真值才为假，否则，均为真。真值表如表1.5所示。 例:将下列命题符号化： （1）如果我生病，那么我不去学校。 （2）如果我有钱，那么我就去看电影。 解：命题符号化过程及结果 (1)如果我生病，那么我不去学校。 P：我生病；Q：我去学校； (2)如果我有钱，那么我就去看电影。 P：我有钱; Q：我去看电影; 例： P：2008年将在北京举行奥运会； Q：两个三角形全等； P →Q和Q →P代表什么命题？ 解： P → Q： 如果2008年将在北京举行奥运会，那么两个三角形全等。 Q →P ： 如果两个三角形全等，那么2008年将在北京举行奥运会。 6、双条件（? ） 二元运算符，当且仅当P、Q的真值相同时， P?Q的真值才为真，否则，均为假。真值表如表1.6所示。 例:将下列命题符号化： （1）只有在我生病的时候，我才不去学校。 （2）当且仅当我有钱时，我才去看电影。 解：命题符号化过程及结果 (1)只有在我生病的时候，我才不去学校。 P：我生病；Q：我去学校； (2)当且仅当我有钱时，我才去看电影。 P：我有钱; Q：我去看电影; 例： P：2008年将在北京举行奥运会