离散数学课后练习题答案(三版)乔维声汤维版.docVIP

、 命题逻辑 用形式语言写出下列命题： 如果这个数是大于1 的整数，则它的大于1 最小因数一定是素数。 如果王琳是学生党员又能严格要求自己，则她一定会得到大家的尊敬。 小王不富有但很快乐。 说逻辑学枯燥无味或毫无价值都是不对的。 我现在乘公共汽车或者坐飞机。 如果有雾，他就不能搭船而是乘车过江。 解： 设P：这个数是大于1 的整数。 Q：这个数的大于1 最小因数是素数。 则原命题可表示为：P(Q。设P：这个数大于1。P2：这个数是整数。Q：这个数的大于1 最小因数是素数。 则原命题可表示为：P( P2(Q。设P：王琳是学生。 Q：王琳是党员。 R：王琳能严格要求自己。 S：王琳会得到大家的尊敬。 则原命题可表示为：P (Q(R( S。 设P：小王富有。 Q：小王很快乐。 则原命题可表示为：(P (Q。 设P：逻辑学枯燥无味。 Q：逻辑学毫无价值。 则原命题可表示为：(( P(Q)。 设P：我现在乘公共汽车。 Q：我现在坐飞机。 则原命题可表示为：P((Q。 设P：天有雾。 Q：他搭船过江。 R：他乘车过江。 则原命题可表示为：P (( Q(R。设P：天下雪。 Q：我将进城。 R：我有时间。 将下列命题形式化： 天不下雪，我也没有进城。 如果我有时间，我将进城。 如果天不下雪而我又有时间的话，