题目内容
（请给出正确答案）
在自然推理系统P中构造下面推理的证明。
(1)如果今天是星期六，我们就要到颐和园或圆明园去玩，如果颐和园游人太多，我们就不去颐和园玩，今天是星期六，颐和园游人太多，所以我们去圆明园玩。
(2)如果小王是理科学生，他的数学成绩一定很好，如果小王不是文科生，他必是理科生，小王的数学成绩不好所以小王是文科学生
(3)明天是晴天，或是雨天;若明天是晴天，我就去看电影;若我看电影，我就不看书，所以，如果我看书，则明天是雨天
如果结果不匹配，请 联系老师 获取答案
更多“在自然推理系统P中构造下面推理的证明。（1)如果今天是星期六…”相关的问题
A.m≥1，n≥1时，P(m,n)→P(m+1,n+1)
B.m≥1，n≥1时，P(m,n)→P(m,n+1)以及P(m+1,n+1)
C.m≥1，n≥1时，P(m,n)→P(m+1,n)以及P(m,n+1)
D.n≥1时，P(1，n)→P(1,n+1)；m≥1,n≥1时，P(m,n)→P(m+1,n+1)
用数学归纳法证明命题P(n)对任何自然数正确，一般包括两个步骤：第一，建立基础，例如证明P(1)正确；第二，建立推理关系，例如证明n≥1时，如果命题P(n)正确则可以推断命题P(n+1)也正确。这种推理关系可以简写为：n≥1时P(n)→P(n+1)。
将上述数学归纳法推广到二维情况。为证明命题P(m，n)对任何自然数m与n正确，先证明P(1，1)正确，再证明推理关系______正确。
A．m≥1，n≥1时，P(m，n)→P(m+1，n+1)
B．m≥1，n≥1时，P(m，n)→P(m，n+1)以及P(m+1，n+1)
C．m≥1，n≥1时，P(m，n)→P(m+1，n)以及P(m，n+1)
D．n≥1时，P(1，n)→P(1，n+1)；m≥1，n≥1时，P(m，n)→P(m+1，n+1)
● 用数学归纳法证明命题 P(n)对任何自然数正确，一般包括两个步骤：第一，建立基础，例如证明P(1)正确；第二，建立推理关系，例如证明n≥1 时，如果命题P(n)正确则可以推断命题P(n+1)也正确。这种推理关系可以简写为：n≥1 时P(n)→P(n+1)。 将上述数学归纳法推广到二维情况。为证明命题P(m,n)对任何自然数m与n正确，先证明P(1,1)正确，再证明推理关系 (53) 正确 。
（53）
A. m≥1,n≥1时，P(m,n)→P(m+1,n+1)
B. m≥1,n≥1时，P(m,n)→P(m,n+1)以及P(m+1,n+1)
C. m≥1,n≥1时，P(m,n)→P(m+1,n)以及P(m,n+1)
D. n≥1时，P(1,n)→P(1,n+1)；m≥1,n≥1时，P(m,n)→P(m+1,n+1)
Armstrong公理系统包括6个推理规则，下面哪一条是对伪传递规则的描述？ ()
A．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
B．由X→Y及Z.jpg)
Y，有X→Z
C．由X→Y，WY→Z，有XW→Z
D．由X→Y，X→Z，有X→YZ
A.上述论证是循环论证，它由开始的声明和随后的仅对那个声明作了意译的结论构成。
B.上述论证没有证明使某一个现象出现的某一个条件是这个现象出现的仅有的条件。
C.上述论证中涉及一个模棱两可的词语，因为“利润”一词在论述的过程中可以改变它的意思。
D.上述论述解释一个事件是由另一个事件引起的，尽管这两个事件实际上一定都是由第三个没有认识到的事件引起的。
A.实际情况是143名在职人员死亡，样本数据不可靠。
B.样本规模过小，应加上中关村其他科研机构和大学在职人员死亡情况的资料。
C.这相当于在调查大学生平均死亡年龄是22岁后，得出惊人结论：具有大学文化程度的人比其他人平均寿命少50岁。
D.该统计推理没有在中关村知识分子中间作类型区分。
(1)试举出一个个体域及两种解释,分别证明第4题之(1)、(2)的逆不能成立.
(2)证明下列推理无效.
A.把一系列事件的原因当作其结果来对待。
B.抛弃了一种可能的解释，又没有提出一种替代性的解释。
C.没有考虑到那些吃过鸡蛋沙拉没有马上发病的人后来会发病的可能性。
D.把缺少证明某件事是某种情况的证据，处理成能证明某件事不是那种情况的原因的充分证据。
A.作者从很多具体观察前进到一个假定的概括。
B.作者把假定在相关方面类似的现象事实应用到正在讨论的情况中。
C.通过表明一种立场的对立面会有逻辑上可笑的结果，来加强这种立场的说服力。
D.以某一推理过程混淆了因果关系中的原因和结果为理由，可以对这一推理过程提出质疑。
A.应该设法避免使人堕落和道德沦丧。
B.权力常常使人堕落和道德沦丧。
C.没有权力的人就没有机会在道德上堕落。
D.一些堕落和道德沦丧的人通常拥有很大的权力。
A.上述推理是必然性的，即如果前提真，则结论一定真。
B.上述推理很强，但不是必然性的，即如果前提真，则为结论提供了很强的证据，但附加的信息仍可能削弱该论证。
C.上述推理很弱，前提尽管与结论相关，但最多只为结论提供了不充分的根据。
D.上述推理的前提中包含矛盾。
