问答题计算题

在自然推理系统P中构造下面推理的证明。
明天是晴天,或是雨天;若明天是晴天,我就去看电影;若我看电影,我就不看书,所以,如果我看书,则明天是雨天。

您可能感兴趣的试卷

你可能感兴趣的试题

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