离散数学习题集五.docVIP

习题五 1.设个体域D={a,b,c}，在D中消去公式的量词。甲乙用了不同的演算过程： 甲的演算过程如下： 乙的演算过程如下： 显然，乙的演算过程简单，试指出乙在演算过程中的关键步骤。 解：乙在演算中的关键步骤是，在演算开始就利用量词辖域收缩与扩张等值式，将量词的辖域缩小，因而演算简单。 2. 设个体域D={a,b,c}，消去下列各式的量词： 解： 在（1）（2）（4）中均将量词的辖域缩小，所以演算结果都比较简单 3. 设个体域D={1,2}，请给出两种不同的解释和，使得下面公式在下都是真命题，而在下都是假命题。 （1） （2） 解： 解释I1为：个体为实数集合R，F(x)：x为自然数，G(x)：x为整数。在I1下，（1）为自然数都是整数，（2）为存在整数为自然数。他们都是真命题 解释I2为：个体域仍为实数集R，F(x)：x是无理数，G(x)：x能表示成分数，在I2下，（1）为无理数都能表示成分数，（2）为存在能表示成分数的无理数，他们都是假命题 4. 给定公式 （1）在解释中，个体域={a}，证明公式A在下的真值为1. （2）在解释中，个体域={}，,A在下的真值还一定是1吗？为什么？ 解： 在I1下， 在I2下 为可满足式，设F(x)：x为奇数，，此时，蕴涵式前件为真，后件为假，故蕴含式为假，若令F(x)；x为整数，则蕴含式前后件均为真，所以（2）中公式在I2