多项选择题

下面描述正确的是,谓词公式
A、任意x的辖域是
B、存在y的辖域是
C、变元x和y即是约束变元又是自由变元
D、变元z是自由变元

微信扫码免费搜题