最新离散数学期末考试试卷(A卷)
- 格式:doc
- 大小:180.50 KB
- 文档页数:6
最新离散数学期末考试试卷(A卷)
一、判断题:(每题2分,共10分)
(1)
(1)
(2)对任意的命题公式,若,则
(0)
(3)设是集合上的等价关系,是由诱导的上的等价关系,则. (1)
(4)任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价.
(0)
(5)设是上的关系,分别表示的对称和传递闭包,则
(0)
二、填空题:(每题2分,共10分)
(1) 空集的幂集的幂集为().
(2) 写出的对偶式().
(3)设是我校本科生全体构成的集合,两位同学等价当且仅当他们在
同一个班,则等价类的个数为(),同学小王所在
的等价类为().
(4)设是上的关系,则满足下列性质的哪几条:自反的,对称的,传递的,反自反的,反对称的.
()
(5)写出命题公式的两种等价公式( ).
三、用命题公式符号化下列命题(1)(2)(3),用谓词公式符号化下列命题(4)(5)(6).(12分)
(1)(1)仅当今晚有时间,我去看电影.
(2)(2)假如上午不下雨,我去看电影,否则就在家里读书.
(3)你能通你能通过考试,除非你不复习.
(4)(4)并非发光的都是金子.
(5)(5)有些男同志,既是教练员,又是国家选手.
(6)(6)有一个数比任何数都大.
四、设,给定上的两个关系和分别是
(1)(1)写出和的关系矩阵.(2)求及(12分)
五、求的主析取范式和主合取范式.(10分)
六、设是到的关系,是到的关系,证明:(8分)
七、设是一个等价关系,设对某一个,有
,证明: 也是一个等价关系.(10分)
八、(10分)用命题推理理论来论证 下述推证是否有效?
甲、乙、丙、丁四人参加比赛,如果甲获胜,则乙失败;如果丙获胜,则乙也获
胜,如果甲不获胜,则丁不失败.所以,如果丙获胜,则丁不失败.
九、(10分) 用谓词推理理论来论证下述推证.
任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或喜欢乘汽车,或喜欢骑
自行车(可能这两种都喜欢).有的人不爱骑自行车,因而有的人不爱步行 (论
域是人).
十、(8分) 利用命题公式求解下列问题.
甲、乙、丙、丁四人参加考试后,有人问他们,谁的成绩最好,
甲说:“不是我,”乙说:“是丁,”丙说:“是乙,”
丁说:“不是我.” 四人的回答只有一人符合实际,问若只有一人成绩最
好,是谁?
离散数学期末考试试卷答案(A 卷)
一、判断题:(每题2分,共10分)
(1)}}{{}{x x x -∈ ( ∨)
(2) 对任意的命题公式C B A ,,, 若 C B C A ∧⇔∧, 则B A ⇔ ( ⨯ )
(3)设R 是集合A 上的等价关系, L 是由R A 诱导的A 上的等价关系,则
L R =. ( ∨ )
(4) 任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价.
( ⨯ )
(5)设R 是A 上的关系,)(),(R t R s 分别表示R 的对称和传递闭包,则
)()(R st R ts ⊆ ( ⨯ )
二、填空题:(每题2分,共10分)
(1) 空集的幂集的幂集为 ( }},{{φφ).
(2) 写出)()(R P Q P →∧∨的对偶式( )()(R P Q P ∧⌝∨∧ ).
(3)设A 是我校本科生全体构成的集合,两位同学等价当且仅当他们在
同一个班,则等价类的个数为(我校本科生的班级数 ),同学小王所在
的等价类为(小王所在的班的集合).
(4)设},,,{},,,{><><==3121321R A 是A 上的关系,则R 满足下列性质的哪
几条:自反的,对称的,传递的,反自反的,反对称的. ( 传递的,反自反的,反对称的 )
(5)写出命题公式Q P ↔的两种等价公式
( )()()()(P Q Q P P Q Q P ∨⌝∧∨⌝→∧→).
三、用命题公式符号化下列命题(1)(2)(3),用谓词公式符号化下列命题
(4)(5)(6).(12分)
(3)(1)仅当今晚有时间,我去看电影.
解:P: 今晚我有时间. Q: 我去看电影
P Q → (4)(2)假如上午不下雨,我去看电影,否则就在家里读书.
解 P: 上午下雨, Q: 我去看电影 R: 我在家里读书.
)()(R P Q P →∧→⌝ (3)你能通你能通过考试,除非你不复习.
解 P 你能通过考试, Q: 你复习.
P Q →
(7)(4)并非发光的都是金子.
解 x x A :)(是发光的, x x B :)(是金子
))()()((x B x A x →∀⌝ (8)(5)有些男同志,既是教练员,又是国家选手.
解 x x A :)(是男同志,x x B :)(是教练员,x x C :)(是国家选手
)()()()((x C x B x A x ∧∧∃)
(9)(6)有一个数比任何数都大.
解 x x A :)(是数,x y x B :),(比y 大,
))),()()(()()((y x B y A y x A x →∀∧∃
四、设},,,{d c b a A =,给定A 上的两个关系R 和L 分别是
)}.,(),,(),,(),,(),,(),,{()},,(),,(),,{(c d a d c c a c b b d a L a c c b b a R ==
(2)(1)写出R 和L 的关系矩阵.(2)求L R 及)(L R t (12分) 解
⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=0000100000100100R M ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=1010101001000001L M
⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=0000000110100100L
R M ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=00000000010110102)(L R M
⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=00000000101001013
)(L R M ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=00000000010110104)(L R M