black

离散数学

登录

问答题

简答题

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

【参考答案】

相关考题

问答题 根树T如图所示:T的树高h(T)为几?

问答题 根树T如图所示:T是几个内点?分别是哪些顶点?

问答题 在自然推理系统P中用归谬法证明下面推理:前提:p∨q,p→r,q→s结论:r∨s。

All Rights Reserved 版权所有©财会考试题库(ckkao.com)

备案号:湘ICP备2022003000号-2