河南成教 / 离散数学
正确率:100%
4、谓词公式( x)(P(x,y)→( z)Q(x,z)∧( y)R(x,y)中变元x( )
A. 是自由变元但不是约束变元
B. 既不是自由变元又不是约束变元
C. 既是自由变元又是约束变元
D. 是约束变元但不是自由变元
A. 是自由变元但不是约束变元
B. 既不是自由变元又不是约束变元
C. 既是自由变元又是约束变元
D. 是约束变元但不是自由变元
参考答案:
佳题速递: