问答题
计算题
在自然推理系统P中构造下面推理的证明。
如果今天是星期六，我们就要到颐和园或圆明园去玩，如果颐和园游人太多，我们就不去颐和园玩，今天是星期六，颐和园游人太多，所以我们去圆明园玩。
【参考答案】
点击查看答案
相关考题
-
问答题
在自然推理系统P中构造下面推理的证明： 只要A曾到过受害者房间并且11点以前没用离开，A就犯了谋杀罪，A曾到过受害者的房间，如果A在11点以前离开，看门人会看到他，看门人没有看到他，所以A犯了谋杀罪。 -
问答题
在自然推理系统P中用附加前提法证明以下推理： 前提：（p∨q）→（r∧s），（s∨t）→tl 结论：p→u -
填空题
若～为〈S，Δ，*〉中S上的等价关系，如果对S中的任何元素x，y，满足（），那么，～为S上的关于一元运算Δ的同余关系；如果对S中的任何元素x，y，u，v满足（），那么，～为S上的关于二元运算*的同余关系；当～关于一元运算Δ，二元运算*均为同余关系时，～就是〈S，Δ，*〉上的同余关系，这时等价类[x]，又可称为（）
