离散数学第一章命题演算基础命题和联结词.pptVIP

P∨Q，P析取Q设P,Q是两个命题。显然，如下这句话也是命题：“P或者Q”称之为P和Q的析取。PQP?QTTTTFTFTTFFF日常语言中有：或，……第30页，共60页，星期日，2025年，2月5日析取词的例子P:2×2＝5Q：雪是白的。P∨Q：2×2＝5或者雪是白的。P:今天刮风。Q：今天下雨。P∨Q：今天刮风或者今天下雨。第31页，共60页，星期日，2025年，2月5日可兼的“或”PQP∨QTTTTFTFTTFFF他会英语或法语。今天刮风或者今天下雨。第32页，共60页，星期日，2025年，2月5日不可兼的“或”PQP∨Q(P∧﹁Q)∨(﹁P∧Q)TTTFTFTTFTTTFFFF人固有一死，或重于泰山，或轻于鸿毛。今天晚上我去看电影，或去看球赛。异或XOR第33页，共60页，星期日，2025年，2月5日P→Q,P蕴含Q设P,Q是两个命题。显然，如下这句话也是命题：“如果P则Q”称之为P蕴含Q。日常语言中有：如果…则…,只要…就…，……PQP?QTTTTFFFTTFFT第34页，共60页，星期日，2025年，2月5日蕴含词的例子P：2×3＝6Q：(2×3)+1=6+2P→Q:如果2×3＝6，则（2×3）＋1＝6+2P:天气不好Q：我去接你P→Q:如果天气不好，那么我去接你。第35页，共60页，星期日，2025年，2月5日注1.前件为假时，命题为真如果蕴含前件P是假命题，那么不管Q是什么命题，命题“如果P则Q”在逻辑中都被认为是真命题。例：如果张三能及格，那太阳从西边升起。第36页，共60页，星期日，2025年，2月5日注2.前件、后件可以毫不相关在日常语言中“如果……则……”所联结的句子之间表现的是一种因果关系，但在数理逻辑中，尽管说前件蕴涵后件，但两个命题可以是毫不相关的。例：P：2×3＝5Q：雪是黑色的P→Q：如果2×3＝5，则雪是黑色的第37页，共60页，星期日，2025年，2月5日注3.充分条件、必要条件p→q为真命题的逻辑关系是：p是q的充分条件，q是p的必要条件。“q是p的必要条件”的叙述方式还有：p仅当q（仅当q，则p）只有q才p只要p就q除非q，否则非p（非p，除非q）第38页，共60页，星期日，2025年，2月5日蕴含词的例子用→表示下列命题：（1）只要天下雨，我就回家。（2）只有天下雨，我才回家。（3）除非天下雨，否则我不回家。（4）仅当天下雨，我才回家。解设p：天下雨。q：我回家。则（1）符号化为p→q。（2）符号化为q→p，或：﹃p→﹃q （3）符号化为q→p，或：﹃p→﹃q（4）符号化为q→p，或：﹃p→﹃q第39页，共60页，星期日，2025年，2月5日P?Q，P等价于Q设P，Q是两个命题。显然，如下这句话也是命题：“