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