问答题计算题

在自然推理系统P中构造下面推理的证明。
如果今天是星期六,我们就要到颐和园或圆明园去玩,如果颐和园游人太多,我们就不去颐和园玩,今天是星期六,颐和园游人太多,所以我们去圆明园玩。

您可能感兴趣的试卷

你可能感兴趣的试题

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