试卷简介
本套试卷集合了考试编委会的理论成果。专家们为考生提供了题目的答案,并逐题进行了讲解和分析。每道题在给出答案的同时,也给出了详尽透彻的解析,帮助考生进行知识点的巩固和记忆,让考生知其然,也知其所以然,从而能够把知识灵活自如地运用到实际中去。
试卷预览
1.设P:小张是数学老师,Q:小张是计算机老师。命题“小张既是数学老师又是计算机老师”的符号化形式为
A.P∧Q
B.P∨Q
C.P→Q
D.P↔Q
2.下列公式为永真式的是
A.(┐P∧Q)∨(P→┐Q)
B.(P→Q)∧(P→┐Q)
C.(P∧Q)∨(P∨Q)
D.(P→Q)∨(P→┐Q)
3.命题公式P→Q的主析取范式中含小项的个数是
A.1
B.2
C.3
D.4
4.设论域元素集为{a,b},下列选项中与谓词公式∀xP(x)等价的是
A.P(a)∧P(b)
B.┐P(a)∧P(b)
C.P(a)∧┐P(b)
D.P(a)∨P(b)
5.下列谓词公式中y是自由变元的是
A.∀xP(x,y)→∃yQ(y)
B.∀xP(x,y)→∃xQ(x)
C.∀yP(x,y)→∃xQ(x)
D.∀xP(x)→∃yQ(x,y)

最新推荐
相关试卷