A.1
B.0
C.可满足式
D.无法判断
第4题
(1)(x2>0). (2)(x2=0).
(3)(x2≥x). (4)(x2<y).
(5)(x<y2). (6)(x+y=0).
(7)(x2+y2=6). (8)(z=(x+y)/2).
第8题
(1)AUB是可定义的.
(2)A-B是可定义的.
(3)n-1元有序组集合存在某个d使得是可定义的.
第9题
给定解释I如下:
说明下列各式在I下的含义,并讨论其真值.
第10题
(a)个体域D=N。
(b)特定元素
(c)N上函数
(d)N上谓词
(e)σ(x)=2,σ(y)=3,σ(z)=4。
给出下列各式在I和σ下的解释,并讨论它们的真值。
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!