[应用题,10分] 在谓词逻辑中构造下面推理的证明:某学术会议的每个成员都是专家并且是工人,有些成员是青年人,所以,有些成员是青年专家。
出自:河南理工大学-计算机科学与技术-离散数学