班级: 学号: 姓名:
离散模拟试题(一)
一 选择题
1 下面哪个命题公式是重言式( )
A.(P� Q)
(Q�P) B.(P�Q)�P
C.(┐P∨Q)∧┐(┐P∧Q) D.(P�Q)�P
2 从 1 到 300 的整数中
(1)同时不能被 3、5 和 7 这三个数整除的数有( )个
A 120 B 135 C 138 D 127
(2)能被 3 整除,但不能被 5 和 7 整出的数有( )个
A 68 B 72 C 62 D 56
3 设 R 为实数集,映射 f:R�R,f(x)=-x
2
+2x-1,则 f 是( )。
A.单射而非满射 B.满射而非单射 C.双射 D.既不是单射,也不是满射
二 填空题
1 一阶逻辑公式�xP(x)��yQ(y)的前束范式是___________
评论0