单项选择题

谓词公式中变元x()。

A.既不是自由出现又不是约束出现
B.是自由出现,不是约束出现
C.既是自由出现又是约束出现
D.不是自由出现,是约束出现


您可能感兴趣的试卷