问答题
计算题
在自然推理系统P中构造下面推理的证明。
明天是晴天，或是雨天；若明天是晴天，我就去看电影；若我看电影，我就不看书，所以，如果我看书，则明天是雨天。
【参考答案】
点击查看答案
