离散数学(第1讲)命题逻辑1.ppt

逻辑联结词 （3）我上街去书店或去看电影 P:我上街去书店(P为真）Q: 我上街不去看电影店(Q为假）我上街去书店或去看电影（ P ∨ Q为真） P:我上街去不书店(P为假）Q: 我上街去看电影店(Q为真）我上街去书店或去看电影（ P ∨ Q为真） P:我上街去书店(P为真）Q: 我上街不去看电影店(Q为真）我上街去书店或去看电影（ P ∨ Q为假） 两种可能只有一种是真，而不可能同时为真， 所以应是异或（排斥或）。与P ∨ Q不相同 * * 逻辑联结词 解释 注意：汉语中的“或”有时与∨有相同含义，称‘可兼或’（相容或）, 有时与‘不可兼或’（排斥或，记为?）有相同含义。 ?用真值表表示: P 　 Q P ? Q 0　　　0 0 0 　 1 1 1　　　0 1 1　　　1 0 * * 恰有一个 逻辑联结词 4）条件 （→）：如果P则Q称为P和Q的条件命题：记为P→Q(读作‘如果P则Q’), P→Q(命题蕴涵） P→Q为假，iff P真Q假。 真值表定义： P 　　 Q P→Q 0　　　　0 1 0 　　 1 1 1　　　　0 0 1　　　　1 1 * * 命题前件 命题后件 逻辑联结词 解释 ①汉语中，如果…则…。一般表示条件关系，并且要求前后语句有某种逻辑联系（因果、包含、实质），这种条件命题称为形式条件命题； 不要求前后语句有内在联系的条件命题称实质条件命题（善意推定）。 一般后者包含前者,数理逻辑中的→一般为后者。 如 P：我买到鱼，Q：我吃鱼 P→Q：如果我买到鱼，则我吃鱼有因果关系，合理，T 如果我没买到鱼，则我吃鱼， 不合理，T （强调买到鱼，不一定有因果关系） 在实质条件命题中，当前提是假时，则不管后件是真是假，条件命题一定为真。 * * 逻辑联结词 如果地球停止了转动，则大熊猫产在中国 P:地球停止了转动 (P为假） Q:大熊猫产在中国 （Q为真） P→Q为真 理解：只有在前提成立的情况下，考虑条件命题的真假，（关心能否从P真推出Q真，即各个命题之间真假值的关系，而不关心命题之间的实际意义是否有联系） 至于前提不成立的情况，我们不予考虑，故此时，不管后件是真是假均可认为是真。（前提和结论之间有无因果，实质关系，难以区分） 给定命题P→Q，我们把Q→P， ? P→? Q， ? Q→? P分别叫作P→Q的逆命题，反命题，逆反命题。 * * 逻辑联结词 条件是二元运算，不可交换 在条件命题P→Q中，命题P称作P→Q的前件(项， 前提)，命题Q称作P→Q的后件(项，结论) P→Q有时称‘P是Q的充分条件’，‘Q是P的必要条件’。 * * 逻辑联结词 5）双条件 （?）：P当且仅当Q称为P,Q等价式。记为P ? Q（读作‘P iff Q’）。 P ? Q为真，iff P，Q的真值相同时。 用真值表定义: 双条件是可交换的二元运算 P　 Q P?Q 0 0 1 0 1 0 1 0 0 1 1 1 * * P Q ~p P∧Q P∨Q P→Q P?Q 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 1 1 * * 取反 均为真 至少一个为真 相同为真 逻辑联结词 例 翻译：屋里灯光未灭与今夜星光灿烂。 解：设基本命题：P：屋里灯光未灭， Q：今夜星光灿烂 “与” 则上述命题P ∧ Q 注意： 1）例中复合命题的含义在日常生活中是难以理解的（两个命题间无内在联系），但在数理逻辑中是允许的，也是正确的（符合定义即可,考虑的是命题间的形式关系） 2）联结词∧是对称的（可交换的），即P∧Q与Q∧P相同 * * 逻辑联结词 3）汉语中的‘与’有多义性，有时与‘和’，‘并且’，‘以及’，‘同时’， ‘不但……而且’，‘既……又’，等是一个含义，有时又有不同的含义。 如 他打开书并开始读 这里的‘并’有‘于是’，‘然后’，的含义，不能用∧ 表示,有先后次序关系，是不可交换的。 又如：李明与王冬是同学。 这里的‘与’表示二人的关系，是一个命题， 不是联结两个命题，不能用∧。 * * 逻辑联结词 说明 1. 联结词是句子与句子之间的联结，而非单纯的名词、形容词、数词等的联结； 2. 联结词是两个句子真值之间的联结，而非句子的具体含义的联结，两个句子之间可以无任何的内在联系； 3.