北京交通大学离散数学 谓词逻辑_【精选】离散数学习题解答-第3章谓词逻辑.pdf...

【精选】离散数学习题解答-第3章谓词逻辑

习 题 3.1

1. 指出下列命题中哪些是简单命题？哪些是复合命题？

(1) 偶数和奇数都是整数。

(2) 今天是星期天。

(3) 朱方方与朱园园是姐妹。

(4) ，则 有平方根。

x  0 x

(5) 每个人都需要食物，电脑不需要食物，所以电脑不是人。

(6) 每个与会者都会说英语。每个既会说英语又会说德语的人都将在大会上发言，唐甜

甜是会员并且会说德语，所以唐宁宁将在大会上发言。

(7) 无理数都不是循环小数。

(8) 3 是无理数。

解：(2)、(3)和(8)是简单命题；(1)、(4)、(5)、(6)和(7)是复合命题。

2. 找出下列各复合命题中所包含的互不相同的简单命题。

(1) 有理数和无理数都是实数。

(2) 李丽媛既喜欢学习又喜欢锻炼身体。

(3) 乌鸦都是黑色的，天鹅不是黑色的，所以天鹅不是乌鸦。

(4) 有理数和无理数都是实数。虚数不是实数。因此，虚数既不是有理数，也不是无理

数。

(5) 每个理科学生都要学高等数学，每个学高等数学而又勤奋的学生都能掌握微积分知

识，王磊是理科生并且勤奋学习，所以王磊能掌握微积分知识。

(6) 命题公式 是重言式当且仅当 的每一组赋值都使 的真值为1 .

A A A

(7) 2009 年6 月6 日是星期一或星期三，如果是星期三，那么我有英语课，我就不能去

开会。如果是星期一，我就可以