问答题计算题

在自然推理系统P中构造下面推理的证明。
如果小王是理科学生,他的数学成绩一定很好,如果小王不是文科生,他必是理科生,小王的数学成绩不好,所以小王是文科学生。

您可能感兴趣的试卷

你可能感兴趣的试题

参考答案x~y蕴含Δx~Δy;x~y,u~v蕴含x*u~y*v;同余类