A、是自由变元但不是约束变元
B、既不是自由变元又不是约束变元
C、是约束变元但不是自由变元
D、既是自由变元又是约束变元
【正确答案】：D
【题目解析】：本题主要考查的知识点为自由变元和约束变元。x在公式的前件中为约束变元，在公式的后件中为自由变元。