Question

求解几道离散数学题3

第三部分 逻辑推理理论
第六章 命题逻辑
6-1 判断下列语句是否命题，简单命题或复合命题。
（1）2月 17 号新学期开始。 [ ]
（2）离散数学很重要。 [ ]
（3）离散数学难学吗 ？ [ ]
（4）C 语言具有高级语言的简洁性和汇编语言的灵活性。 [ ]
（5）x + 5 大于 2 。 [ ]
（6）今天没有下雨，也没有太阳，是阴天。 [ ]

6-2 将下列命题符号化.
（1）2 是偶素数。
（2）小李不是不聪明，而是不好学。
（3）明天考试英语或考数学。（兼容或）
（4）你明天不去上海，就去北京。（排斥或）

6-3 用等值演算法求下列命题公式的主析取范式
（1）『（p→q）∧ q； （2）（（p→q）∧ p）→q； （3）（p→q）∧ q。

以下两题(6-4;6-5)为选择题,将正确者填入[ ]内.
6-4 令 p：经一堑；q：长一智。命题’’只有经一堑，才能长一智’’符号化为 [ ]
A． p→q； B． q→p； C． p∧q； D． 「q→「p

6-5 p：天气好；q：我去游玩．命题 ”除非天气好，否则我不去游玩” 符号化为〔 〕
A． p→q； B． q→p； C． p∧q； D． 「q→「p

6-6 证明题:用不同方法判断推理结果是否正确。
如果今天下雨，则明天不上体育课。今天下雨了。所以，明天没有上体育课。

第七章 谓词逻辑
7-1 在谓词逻辑中用 0 元谓词将下列命题符号化
（1）这台机器不能用。
（2）如果 2 ＞ 3，则 2 ＞ 5。

7-2 在谓词逻辑中将下列命题符号化
（1）有的马比有的牛跑得慢。
（2）所有的火车比所有的汽车跑得快。

7-3 填空补缺题：设域为正整数集合Z+＋，命题 x 彐y（x＞y）的真值为 （ ）

Answer 1

6-1(1)(2)是简单命题(3)(5)不是命题(4)(6)是复合命题
6-2仅以第(1)题为例
解：
设命题P:2是偶数;命题Q：2是素数
则本题可表述为：P并且Q
其余的题目请参考武汉大学出版社《离散数学(第2版)》刘玉珍 刘咏梅 编著

Answer 2

第三部分 逻辑推理理论
第六章 命题逻辑
6-1 判断下列语句是否命题，简单命题或复合命题。
（1）2月 17 号新学期开始。 [ 7 ]
（2）离散数学很重要。 [ 7 ]
（3）离散数学难学吗 ？ [ 7]
（4）C 语言具有高级语言的简洁性和汇编语言的灵活性。 [ ]
（5）x + 5 大于 2 。 [ ]
（6）今天没有下雨，也没有太阳，是阴天。 [ ]

6-2 将下列命题符号化.
（1）2 是偶素数。
（2）小李不是不聪明，而是不好学。
（3）明天考试英语或考数学。（兼容或）
（4）你明天不去上海，就去北京。（排斥或）

6-3 用等值演算法求下列命题公式的主析取范式
（1）『（p→q）∧ q； （2）（（p→q）∧ p）→q； （3）（p→q）∧ q。

以下两题(6-4;6-5)为选择题,将正确者填入[ ]内.
6-4 令 p：经一堑；q：长一智。命题’’只有经一堑，才能长一智’’符号化为 [ ]
A． p→q； B． q→p； C． p∧q； D． 「q→「p

6-5 p：天气好；q：我去游玩．命题 ”除非天气好，否则我不去游玩” 符号化为〔 〕
A． p→q； B． q→p； C． p∧q； D． 「q→「p

6-6 证明题:用不同方法判断推理结果是否正确。
如果今天下雨，则明天不上体育课。今天下雨了。所以，明天没有上体育课。

第七章 谓词逻辑
7-1 在谓词逻辑中用 0 元谓词将下列命题符号化
（1）这台机器不能用。
（2）如果 2 ＞ 3，则 2 ＞ 5。

7-2 在谓词逻辑中将下列命题符号化
（1）有的马比有的牛跑得慢。
（2）所有的火车比所有的汽车跑得快。

7-3 填空补缺题：设域为正整数集合Z+＋，命题 x 彐y（x＞y）的真值为 （ ）