题目内容
（请给出正确答案）
[单选题]
指出下列公式中的自由变元和约束变元。（)（EX)（Ay)（P（x)∨Q（y))→（Ax)P（x)
A.x是约束变元，y是自由变元
B.x是自由变元，y是约束变元
C.x和y都是自由变元
D.x和y都是约束变元
查看答案
如果结果不匹配，请 联系老师 获取答案
题目内容
（请给出正确答案）
如果结果不匹配，请 联系老师 获取答案
题目内容
（请给出正确答案）
A.x是约束变元，y是自由变元
B.x是自由变元，y是约束变元
C.x和y都是自由变元
D.x和y都是约束变元
如果结果不匹配，请 联系老师 获取答案
更多“指出下列公式中的自由变元和约束变元。()(EX)(Ay)(P…”相关的问题
中自由变元为()约束变元为().
试用消去量词的方式证明:当A(x)中无自由变元,B(y)中无自由变元x时.
的前束范式，因为公式中的两个量词的指导变元相同。他的理由对吗？为什么？
