对于公式(x)(y(P(x)^Q()-(x)R(x;y),下列说法正确的是()。

A、y是自由元 B、y是约束变元 C、(x的辖域是RXxy) D、(x)的辖域是()(x)Q()-(x)R(xy)

时间:2024-05-16 06:34:57

相似题目

推荐题目