下列式子不正确的是
A.∀xA(x)V∀xB(x)⇒∀x(A(x)VB(x))
B.∃xA(x)⋀∃xB(x)⇒∃x(A(x)⋀B(x))
C.∃x(A(x)⋀B(x))⇒∃xA(x)⋀∃xB(x)
D.∃xA(x)→∀xB(x)⇒∀x(A(x)→B(x))
正确答案是B
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明:本文由翰林刷题小程序授权发布,如需转载请注明出处。
本文链接:https://doc.20230611.cn/post/430296.html
上一篇:对无主领域(如南极、公海、月球等)上的物的物权,由于它们无物之所在地法可言,对此类物权,一般主张适用( )
下一篇:银行家算法中,max[]表示进程需要各类资源的最大数量, allocation[]表示某时刻已分配给进程的某类资源数,need[]表示进程还需要的某类资源的数量,那么三个变量之间的关系为____。