十八、从[mathjaxinline](exists y)( orall x) R(x,y)[/mathjaxinline]能推出的是：
十八、从[mathjaxinline](exists y)( orall x) R(x,y)[/mathjaxinline]能推出的是：
1
十八、从[mathjaxinline](exists y)( orall x) R(x,y)[/mathjaxinline]能推出的是：