A.{| x, yN, x+y< 10 }
B.{| x, yR, y= x2 }
C.{| x, yR, x= y2 }
D.{| x, yN, x=小于y的素数个数}
设解释I为:
(a)个体域为实数集R。
(b)R上特定元素
(c)R上特定函数
(d)R上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=-1。
讨论下列各式在I和σ下的真值。
A.Webservice具有良好的封装性
B.Webservice与使用者是松散耦合的
C.Webservice具有高度的可集成性
D.Webservice使用的协议非常简单,通过可以自行解析,不需要使用第三方的库