用数学归纳法证明命题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)
A.
B.
C.
D.
第1题:
数学归纳法的第一步“奠基”, 是命题论证的基础。但只有归纳步骤,而无“奠基”步骤,归纳证明一样是有意义的。
第2题:
2、下列说法正确的是()
A.存在一个计算机程序,能够自动判定任何一个数学命题是否成立
B.存在一个形式推理系统,能够得到所有成立的数学命题
C.存在数学定理,可以应用自动定理证明器进行自动证明
D.(无)
第3题:
证明下列命题公式之间的等价的 (1)(P→Q)∧(R→Q)Û(P∨R)→Q (2)¬(P↔Q)Û(P∨Q)∧¬(P∧Q) (3)¬(P↔Q)Û(P∧¬Q)∨(¬P∧Q) (4)((Q∧R)→S)∧(R→(P∨S))Û(R∧(P→Q))→S;
第4题:
用等值演算法证明下面等值式。 (1)(┐p∨q)∧(p→r) Û (p→(q∧r)) (2)(p∧q)∨┐(┐p∨q) Ûp
第5题:
8、下列说法正确的是()
A.存在一个计算机程序,能够自动判定任何一个数学命题是否成立
B.存在一个形式推理系统,能够得到所有成立的数学命题
C.存在数学定理,可以应用自动定理证明器进行自动证明
D.无