谓词公式
中的约束变元有__________，自由变元有__________。
【正确答案】：约束变元有x,y；自由变元有x,y
【题目解析】：
受量词指导的变元为约束变元.在公式
中，x是自由变元，y是约束变元；而在公式
中，x是约束变元，y是自由变元。
谓词公式 中的约束变元有__________，自由变元有__________。
- 2024-08-03 22:59:13
- 离散数学(02324)
- 1
【正确答案】：约束变元有x,y；自由变元有x,y
【题目解析】：
谓词公式 中的约束变元有__________，自由变元有__________。
受量词指导的变元为约束变元.在公式中，x是自由变元，y是约束变元；而在公式中，x是约束变元，y是自由变元。