谓词公式中变元x()。 选项: A:既不是自由出现又不是约束出现 B:是自由出现,不是约束出现 C:既是自由出现又是约束出现 D:不是自由出现,是约束出现 出现 约束 不是 发布时间:2024-06-15 12:20:25