在线题库 [单选] 谓词公式(x)(A(x)→B(x)∨C(x，y))中的（ ）。5/image015.png 发布时间：2022-09-12 0次 A. x是自由变元，y都是约束变元 B. x，y都是自由变元 C. x是约束变元，y都是自由变元 D. x，y都是约束变元 您需要登录才可以下载或查看，没有账号?会员注册
