下列函数模板定义中错误的是 A: template＜class Q＞ B: template＜class Q＞ Q F(Q x){return Q+x；} Q F(Q x){return x+x；} C: template＜class T＞ D: template＜class T＞ T F(T x){return x * x；} bool F(T x){return x＞1；}

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设Q(x):x为有理数;R(x):x为实数;Z(x):x为整数;前提:∀x(Q(x)→R(x)),∃x(Q(x)∧Z(x));结论:∃x(R(x)∧Z(x))。(1)∃x(Q(x)∧Z(x))P(2)Q(c)∧Z(c)ES(1)(3)∀x(Q(x)→R(x))P(4)Q(c)→R(c)US(3)(5)Q(c)T(2)I(6)R(c)T(2)(4)I(7)Z(c)

以下推理过程是正确的。(1) ("x)(P(x)ÚT(x)) P规则(2) P(c)ÚQ(c) (1)US(3) ($x)ØP(x) P规则(4) ØP(c) (3)ES

下面的函数模板定义中错误的是______ 。 A: A) template＜class Q ＞ B: QF (Q x)return Q +x； C: B) template＜class Q ＞ D: QF (Q x)returnx/x； E: C) template ＜class T ＞ F: T F(T x) return x*x； G: D) template ＜class T＞ H: bool F (T x) return x＞1；

四格表X A: n≥40 B: T≥5 C: n≥40且T≥5 D: n≥40但1≤T＜5 E: n＜40或T＜1

构造下式的推理证明：有理数都是实数，有的有理数是整数，因此有的实数是整数。证明设Q（x）：x为有理数；R（x）：x为实数；Z（x）：x为整数；前提：∀x(Q(x)→R(x))，∃x(Q(x)⋀Z(x))；结论：∃x(R(x)⋀Z(x))。（1）∃x(Q(x)⋀Z(x)) P（2）Q(c)⋀Z(c) ES（1）（3）∀x(Q(x)→R(x)) P（4）Q(c)→R(c) US（3）（5）Q(c) T（2）I（6）R(c) T（2）（4）I（7）Z(c) T（2）I（8）R(c)⋀Z(c) T（6）（7）I（9）∃x(R(x)⋀Z(x)) EG（8）以上推理是有效的。 A: 正确 B: 错误

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设Q（x）:x为有理数;R（x）:x为实数;Z（x）:x为整数;前提:∀x（Q（x）→R（x））,∃x（Q（x）∧Z（x））;结论:∃x（R（x）∧Z（x））。（1）∃x（Q（x）∧Z（x））P（2）Q（c）∧Z（c）ES（1）（3）∀x（Q（x）→R（x））P（4）Q（c）→R（c）US（3）（5）Q（c）T（2）I

图中所示电路,若X(t)=1，Q(t)=0,触发器的新态和输出是[img=187x89]1803df34c2f849f.png[/img] A: Q(t+1)=0,Z(t)=0 B: Q(t+1)=0,Z(t)=1 C: Q(t+1)=1,Z(t)=0 D: Q(t+1)=1,Z(t)=1

谓词公式"xP(x,y)Ù$t(Q(t,z)→"x$yR(x,y,t))中量词$t的辖域是（） A: $t(Q(t,z)→"x$yR(x,y,t)) B: Q(t,z)→"x$yR(x,y,t) C: "x$yR(x,y,t) D: Q(t,z)

图中所示电路,若X(t)=1，Q(t)=0,触发器的新态和电路的输出是[img=187x89]1803551900467bc.png[/img] A: Q(t+1)=0,Z(t)=0 B: Q(t+1)=0,Z(t)=1 C: Q(t+1)=1,Z(t)=0 D: Q(t+1)=1,Z(t)=1