在线题库 [单选] 21、谓词公式x(P(x)∨(yR(y))→Q(x))中变元x是( ) 发布时间:2022-09-12 0次 自由变元约束变元既不是自由变元也不是约束变元既是自由变元也是约束变元 您需要登录才可以下载或查看,没有账号?会员注册