试卷类型:在线模考
参考人数:203人
试卷总分:100.0分
答题时间:120分钟
上传时间:2016-12-15
下列句子为命题的是( )
A.全体起立!
B.x=0
C.我在说谎
D.张三生于1886年的春天
下列式子不是谓词合式公式的是( )
A.
B.
C.
D.
下列式子为矛盾式的是( )
设给定赋值N如下:个体域为自然数集;特定元素a=0;特定函数f(x,y)=x+y,g(x,y)=xy;特定谓词F(x,y)为x=y。在赋值N下,下列公式为真的是( )
对于公式,下列说法正确的是( )
A.y是自由变元
B.x是约束变元
C.的辖域是
D.的辖域是P(x,y)
最新推荐
相关试卷
微信扫码,立即支付
微信扫描上方二维码