离散数学-命题逻辑-习题课.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 例1-18 叙述下列各命题的逆换式和逆反式，并以 符号写出。 a)如果天下雨，我不去 b)仅当你走，我留下 （注：了解逆换式、反换式、逆反式的概念） 重言式与蕴含式 * 解：a)设P：天下雨。Q：我不去。 逆换式 表示命题：如果我不去，天则下雨 逆反式 表示命题：如果我去，则天不下雨 b)在本题中，原命题：仅当你走我将留下，理解为 ：我留下的必要条件是你走。或者就是你不走我则 留下。 设S：你走了。R：我将留下。 逆换式： 表示命题：如果你走了则我留下 逆反式： 表示命题：如果你不走，则我 不留下。 重言式与蕴含式 * 例1-19 检验下述论证的有效性。 如果我学习，那么我数学不会不及格。 如果我不热衷于玩扑克，那么我将学习。 但我数学不及格。 因此我热衷于玩扑克。 重言式与蕴含式 * 解： 首先将命题符号化： 设P：我学习。Q：我的数学课考试不及格。R： 我热衷于玩扑克。 符号化为： 设 为T，则因Q为T ， 为T，可得P为F，由 为T，得 到 为F，即R为T，故本题的论证是有效的。 重言式与蕴含式 * 例1-20 逻辑推证下列各式 重言式与蕴含式 * 解：a)因为 是永真的，故， 成立 b)假定 为T，则 为F 若A为F，B为T，则 为T， 为F，故 为T。 若A为T，B为F，则 为F， 为T，故 为T。 若A为F，B为F，则 为T， 为T，故 为T。 重言式与蕴含式 * 故， 成立 c)假定 三者为T ，则因为 为T，必有 为Ｔ ，又由于 　为Ｔ，故必有 　　为Ｔ 我们假定 为F，则 为F。因为 在条件式 中， 为T，故： （1）若C为T，则 为F，若D为T，则 为 F，故有 为F。 　 重言式与蕴含式 * （2）若D为F，则 为F，若D为T, 故有 为F。 （3）若C为F，则 为F，因此 为F。 综上各种情况 成立。 重言式与蕴含式 本节内容到此结束 * * * * * * * * * * * * * * * * * * * * * * * * 解：a)A是合式公式， 是合式公式，则 是合式公式，过程可以简记为： A; ; 以下同理 b)A; ; ; c)A; ; B; ; ; d)A;B; ; ; 命题公式与翻译 * 例1-9 试把原子命题表示为P、Q、R，然后用符号译出下列各句子 a)或者你没有写信给我，或者它在途中丢失了 b)如果张三和李四都不去，他就去 c)我们不能既划船又跑步 d)如果你来了，那么他唱不唱歌将看你是否伴奏而定 命题公式与翻译 * 解：a)P:你没有给我写信。R：信在途中丢失了； 由于P和R不可能同时成立，故根据语句二者之间的关系是异或 b) P:张三不去。Q:李四不去。R：他就去 命题P和Q是与的关系，合式 与R之间有一个条件的关系，故使用蕴含关系 则： c) P:我们能划船。Q:我们能跑步 我们不能划船和跑步，表示不可能两者兼顾 d) P:你来了。Q:他唱歌。R:你伴奏。 由命题可知唱歌与伴奏是当且仅当的等价关系使用 原子命题P与 是蕴含关系，则 命题公式与翻译 * 例1-10 一个人起初说，“占据空间的、有质量的而且不断变化的叫做物质”；后来他改说，“占据空间的有质量的叫做物质，而物质是不断变化的”。问他前后主张的差异在什么地方，以命题的形式进行分析。 命题公式与翻译 分析：首先需要将复合命题分解成为若干原子命题，然后 根据各命题的关系写出命题公式，结合命题公式对它们之间的差异进行分析 * 解： P:它占据空间。