第三部分 逻辑推理理论
第六章 命题逻辑
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）的真值为 （ ）