问答题
简答题
在自然推理系统
中，构造下面推理的证明：
每个科学工作者都是刻苦钻研的，每个刻苦钻研而又聪明的人在他的事业中都将获得成功。王大海是科学工作者，并且是聪明的，所以，王大海在他的事业中将获得成功。（个体域为人类集合）
【参考答案】
点击查看答案
