问题 更新时间2023/4/3 12:59:00 [应用题,10分] 在谓词逻辑中构造下面推理的证明:某学术会议的每个成员都是专家并且是工人,有些成员是青年人,所以,有些成员是青年专家。 答案 登录 注册 论域|S(x)|W(x)|Y(x)|推理|彐( S(x)∧ Y(x)) 出自:联大 >> 河南理工大学-计算机科学与技术-离散数学