A.("x)($y)R(x,y)B.("y)($x)R(x,y)C.(x)(y)R(x,y)D.(y)(x)R(x,y)
A.可以互相推出B.只有前者可以推出后者C.只有后者可以推出前者D.二者彼此都不能推出
A.普遍有效B.無(wú)效C.在一定條件下有效