试卷简介
本套试卷集合了考试编委会的理论成果。专家们为考生提供了题目的答案,并逐题进行了讲解和分析。每道题在给出答案的同时,也给出了详尽透彻的解析,帮助考生进行知识点的巩固和记忆,让考生知其然,也知其所以然,从而能够把知识灵活自如地运用到实际中去。
试卷预览
1.设P:今天下雨,Q:我去登山。命题“如果今天不下雨,我就去登山”可符号化为
A.┐P→Q
B.P→Q
C.┐P∧Q
D.P∨┐Q
2.下列命题公式是矛盾式的是
A.(P∧Q)→Q
B.(P∨Q)→Q
C.(P→Q)∧Q
D.(P→Q)∧P∧┐Q
3.设命题公式A为重言式且含有3个命题变元,则A的主析取范式含小项的个数为
A.1
B.4
C.8
D.10
4.设论域为整数集,真值为真的命题是
A.∀x∀y(x+y=0.5)
B.∀x∃y(x+y=18)
C.∃x∃y(x²+y²=3)
D.∃xy(x+y=18)
5.设R(x):x是质数,G(x,y):x大于y。命题“没有最大的质数”可符号化为
A.x(R(x)→(∃y)(R(y)∧G(x,y)))
B.x(R(x)→(∃y)(R(y)∧G(y,x)))
C.∃x(R(x)→+(∃y)(R(y)→G(x,y)))
D.∃x(R(x)→+(y)(G(x,y)→R(y)))

最新推荐
相关试卷