国家开放大学 / 离散数学(本)
谓词公式(x)(A(x)→B(x)∨C(x,y))中的( )。
A. x是自由变元,y都是约束变元
B. x,y都是约束变元
C. x,y都是自由变元
D. x是约束变元,y都是自由变元
A. x是自由变元,y都是约束变元
B. x,y都是约束变元
C. x,y都是自由变元
D. x是约束变元,y都是自由变元
参考答案:
佳题速递: