问题 更新时间2023/4/3 12:59:00 [填空题,1分] 设谓词的定义域为{a, b},将表达式"任意xR(x)→彐xS(x)"中量词消除,写成与之对应的命题公式是__________________. 答案 登录 注册 (R(a)∧R(b))→(S(a)∨S(b)) 出自:联大 >> 河南理工大学-计算机科学与技术-离散数学