内容发布更新时间 : 2025/1/23 0:11:15星期一 下面是文章的全部内容请认真阅读。

作业答案：数理逻辑部分

P14：习题一

1、下列句子中，哪些是命题？在是命题的句子中，哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？ （3）5是无理数。 答：简单命题，真命题。 （9）吸烟请到吸烟室去！ 答：不是命题。

（12）8是偶数的充分必要条件是8能被3整除。 答：复合命题，假命题。

14、讲下列命题符号化。 （6）王强与刘威都学过法语。

答：p:王强学过法语；q:刘威学过法语。

符号化为：p?q

（10）除非天下大雨，他就乘班车上班。 答：p:天下大雨；q:他乘班车上班。

符号化为：p?q

（13）“2或4是素数，这是不对的”是不对的。 答：p:2是素数；q:4是素数。

15、设p:2+3=5.

q:大熊猫产在中国。 r:太阳从西方升起。 符号化为：?(?(p?q))

求下列复合命题的真值。 （2）(r?(p?q))??p

（4）(p?q??r)?((?p??q)?r) 解答： p真值为1；q真值为1；r真值为0.

（2）p?q真值为1；r?(p?q)真值为1；?p真值为0；

所以(r?(p?q))??p真值为0.

（4）p?q??r真值为1，?p??q真值为0，(?p??q)?r真值为1；

所以(p?q??r)?((?p??q)?r)真值为1.

19、用真值表判断下列公式的类型。 （4）(p?q)?(?q??p)

p q ?p ?q 0 0 1 1 0 1 0 1 1 1 0 0 1 0 1 0 p?q ?q??p (p?q)?(?q??p) 1 1 0 1 1 1 0 1 1 1 1 1 所以为重言式。

（7）(p?q)?(r?s)

p q r s 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 p?q r?s (p?q)?(r?s) 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 所以为可满足式。

P36:习题二

3、用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出其成真赋值。

（1）?(p?q?q) 解答：

?(p?q?q)??(?(p?q)?q)??((?p??q)?q)

??(?p??q?q)??1?0所以为永假式。

（2）(p?(p?q))?(p?r) 解答：

(p?(p?q))?(p?r)?(?p?(p?q))?(?p?r)?(?p?p?q)?(?p?r) ?1?(?p?r)?1所以因为永真式。

（3）(p?q)?(p?r) 解答：

(p?q)?(p?r) ??(p?q)?(p?r)

?(?p??q)?(p?r)为可满足式。 真值表为

p q r p?q 0 0 0 0 1 1 1 1

p?r 0 0 0 0 0 0 0 1 (p?q)?(p?r)

1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1