试卷简介
本套试卷集合了考试编委会的理论成果。专家们为考生提供了题目的答案,并逐题进行了讲解和分析。每道题在给出答案的同时,也给出了详尽透彻的解析,帮助考生进行知识点的巩固和记忆,让考生知其然,也知其所以然,从而能够把知识灵活自如地运用到实际中去。
试卷预览
1.含有3个命题变元的任一命题公式的指派个数是
A.6个
B.8个
C.9个
D.10个
2.下列命题公式为矛盾式的是
A.P→(P∨Q∨R)
B.¬(Q→P)∧P
C.(P→¬P)→¬P
D.(P∧¬P)→Q
3.含有2个命题变元的命题A是重言式的条件是A的主析取范式含有
A.4个小项
B.1个小项
C.4个大项
D.1个大项
4.设论域元素为a、b,与∀xR(x)∧(∃y)S(x)等价的是
A.(R(a)∧R(b))∧(S(a)∧S(b))
B.(R(a)∧R(b))∧(S(a)∨S(b))
C.(R(a)∨R(b))∧(S(a)∧S(b))
D.(R(a)∨R(b))∧(S(a)∨S(b))
5.谓词公式∀xF(x)∧G(x,y)中变元x为
A.自由出现
B.约束出现
C.既不是自由出现也不是约束出现
D.既是自由出现也是约束出现

最新推荐
相关试卷