离散数学作业。
作业9——范式、推理。
1.利用真值表求下列公式的主析取范式和主合取范式。
1) p∧(q∨r)
2) (p∨r)→(pq)
3) p∨(p→(q∨(q→r)))
2.主范式的应用。
1) 甲、乙、丙、丁四个人估计比赛谁是第一。甲说“不是我”；乙说“是丁”；丙说“是乙”；丁说“不是我”。但其中只有一个人是对的。问谁是第一？
2) a、b、c、d四个人要派两个人出差，按下述条件有几种派法？如何派？
1）若a去，则c和d要去一人。
2）b和c不能都去。
3）c去则d要留下。
3)三个人估计比赛结果，甲说“a第一，b第二”。乙说“c第二、d第四”。丙说“a第二，d第四”。结果三个人估计得都不全对，但都对了一个。问：a、b、c、d的名次。
4) 有甲、乙、丙、丁四个朋友，他们分别是**家、科学家、天文学家和逻辑学家。在少年时代，他们曾经在一起对未来做过**，当时，甲**说：我无论如何也成不了科学家。
乙**说：丙将来要做逻辑学家。丙**说：
丁不会成为**家。丁**说：乙成不了天文学家。
事实上，只有逻辑学家一个人**对了。
那么，这四位朋友都分别是什么“家”呢？（公****）
推理部分作业。
3.设有如下情况，结论是否有效？如果有效，证明之。
1）或者是天晴，或者是下雨。
2）如果天晴，我去看电影。
3）如果我去看电影，我就不看书。
结论：如果我在看书，则天在下雨。
4. 如果我学习，那么我数学就不会不及格。如果我不热衷于玩扑克，那么我将学习。但我数学不及格。因此我热衷于玩扑克。
5. 如果今天我没课，则我去机房上机或去图书馆查资料；若机房没有空机器，那么我没法上机；今天我没课，机房也没有空机器。所以今天我去图书馆查资料。
离散数学谓词逻辑作业
1.将下列命题符号化。1 人都生活在地球上 2 有的人长着黑头发 3 中国人都用筷子吃饭 4 并不是所有的实数都能表示成分数 5 没有能表示成分数的无理数 6 不存在比所有火车都快的汽车 7 有的火车比有的汽车快 8 说凡是汽车就比火车慢是不对的。2.设下面所有谓词的个体域d 试将下面谓词公式中的量...
离散数学作业11谓词逻辑答案
离散数学作业。作业11 第3章谓词逻辑。1.符号化下列命题并推证其结论。每个大学生不是文科学生就是理工科学生，小张不是理工科学生，因此如果小张是大学生，则他就是文科生。解 a 小张 m x x是大学生 f x x是文科生 g x x是理工科学生，则符号化为。x m x f x g x g a m a...
离散数学作业
集合恒等式与等价关系的判定。单个文件上传形式 一 一 集合运算跟我练习 每题10分，共20分 1 设集合a b a,b 求ba，ab和a b，ba 解 b a a,b a b a,b ab a,b ba 2 设a，b，c为任意集合，试证 ab c a bc 证明设任意x ab c，那么xab或 xc...