在每题列出的四个备选项中只有一种是符合题目规定的,请将其代码填写在题后的括号内
错选、多选或未选均无分
1.下列句子不是命题的是( D )A.中华人民共和国的首都是北京B.张三是学生C.雪是黑色的D.太好了
2.下列式子不是谓词合式公式的是( B )A.(x)P(x)→R(y)B.(x)┐P(x)(x)(P(x)→Q(x))C.(x)(y)(P(x)∧Q(y))→(x)R(x)D.(x)(P(x,y)→Q(x,z))(∨ z)R(x,z)3.下列式子为重言式的是( )A.(┐P∧R)→QB.P∨Q∧R→┐RC.P(∨ P∧Q)D.(┐P∨Q)(P→Q)4.在指定的解释下,下列公式为真的是( )A.(x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2}B.(x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2}C.(x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}D.(x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}5.对于公式(x)(y)(P(x)∧Q(y))→(x)R(x,y),下列说法对的的是( )A.y 是自由变元B.y 是约束变元C.(x)的辖域是 R(x, y)D.(x)的辖域是(y)(P(x)∧Q(y))→(x)R(x,y)6.设论域为{1,2},与公式(x)A(x)等价的是( )A.A(1)∨A(2)B.A(1)→A(2)C.A(1)∧A(2)D.A(2)→A(1)7.设 Z+是正整数集,R 是实数集,f:Z+→R, f(n)=log2n,则 f( )A.仅是入射B.仅是满射C.是双射D.不是函数8.下列关系矩阵所对应的关系具有反对称性的是( )A.[101011100]B.[100011101]C.