搜题
问题   更新时间2024/3/25 12:27:00

谓词公式x(M(x)∧y(E(y) →L(x, y)))中变元x ____。
· 是自由变元但不是约束变元
· 是约束变元但不是自由变元
· 既是自由变元又是约束变元
· 既不是自由变元又不是约束变元

单选题
· 既是自由变元又是约束变元
王老师:19139051760(拨打)