离散数学01-5.docVIP

第一章 命题演算基础 1.1 判断下列语句是否为命题，若是请翻译为符号公式；若不是说明由。 （1）请给我一支笔！ （2）火星上有生物。 （3） （4）只有努力工作，方能把事情做好。 （5）如果嫦娥是虚构的，而圣诞老人也是虚构的，那么许多孩子受骗了。 解 （1）不为命题，因为它不是陈述句。 （2）是命题，用命题变元表示该命题。 （3）不为命题，虽为陈述句，但不能判断其真假性。 （4）是命题。设表示努力工作，表示把事情做好，则原句翻译为命题公式。 （5）是命题。设表示嫦娥是虚构的，表示圣诞老人也是虚构的，表示许多孩子受骗了，则原句翻译为。 1.2 试判定下列公式的永真性和可满足性。 （1） 解 （1）当时， 原式= = = = 当=时，上式=；当时，上式=，因此公式存在成真解释，存在成假解释，故公式可满足，但非永真。 （2） 解 当时 原式= = = 当=时 上式= = = 当=时 上式= = = = 当时，上式=，因此公式存在成真解释，存在成假解释，故公式可满足，但非永真。 （3） 解 当时 原式= = = 当时 上式= = 当时，上式=，当时，上式=，因此，公式存在成真解释，存在成假解释，故公式可满足，但非永真。 （4） 解 当时 原式= = = = 当时 上式= = = 当时，上式=，当时，上式=，因此，公式存在成真解释，存在成假解释，故公式可满足，但非永真。 1.3 试求下列公式的成真解释和成假解释 （1） 解 （1）当时 原式= = = 当时，上式=，当时，上式=。 当时 原式= = 当时 上式= = = 当时 上式= = = 当时，上式=，当时，上式=， 因此，公式的成真解释为；成假解释为。 （2） 解 当时 原式= = = = 当时，上式=；当时，上式=。 当时 原式= = = = 因此，公式的成真解释为；成假解释为。 （3） 解 当时 原式= = = 当时 上式= = = 当时，上式=；当时，上式=。 当时 上式= = 当时 原式= = = = 因此，公式的成真解释为；成假解释为。 （4） 解 当时 原式= = = 当时 上式= = = 当时 上式= = = 当时，上式=；当时，上式=。 当时 原式= = = = 当时，上式=；当时，上式=。 因此，公式的成真解释为；成假解释为。 1.4 试写出下列公式的对偶式和内否式 （1） （2） （3） （4） 解 （1） 内否式为 消去“”得式子 对偶式= （2）内否式为 消去“”得式子 对偶式为 （3）内否式为 消去“”得式子 对偶式为 （4）内否式为 消去“”得式子 对偶式为 1.5 试证明联结词集合{}是完备的。 证明 因为， 所以，联结词集合可以表示集合。 又因为，联结词集合是完备的，即可以表示任何一个命题演算公式，所以可以表示任何一个命题演算公式，故联结词集合是完备的。 1.6 试证明联结词集合不是完备的。 证明 设集合是完备的，则由联结词集合的完备性定义知。当全取为真时，上式左边=，右边=，矛盾。 因此不是完备的。 设集合是完备的，则由联结词集合的完备性定义知，其中表示“”。当全取为真时，上式左边=，右边=，矛盾。 因此不是完备的。 1.7 试求下列公式的析取范式和合取范式 （1） 解 原式= = =（析取范式） = = =（合取范式） （2） 解 原式= = = =（合取范式和析取范式） （3） 解 原式= =（合取范式）