谓词公式
中的约束变元有__________，自由变元有__________。
【正确答案】：约束变元有x,y；自由变元有x,y
【题目解析】：
受量词指导的变元为约束变元.在公式
中，x是自由变元，y是约束变元；而在公式
中，x是约束变元，y是自由变元。
谓词公式 中的约束变元有__________，自由变元有__________。
谓词公式 中的约束变元有__________，自由变元有__________。
受量词指导的变元为约束变元.在公式中，x是自由变元，y是约束变元；而在公式中，x是约束变元，y是自由变元。