问答题

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


您可能感兴趣的试卷

你可能感兴趣的试题