问答题
计算题
在自然推理系统P中构造下面推理的证明。
如果小王是理科学生，他的数学成绩一定很好，如果小王不是文科生，他必是理科生，小王的数学成绩不好，所以小王是文科学生。
【参考答案】
点击查看答案
