【单选题】设全集U={x|-7≤x≤7},A={x|-1≤x4},B={x|-2≤x≤3},Cu(A∪B)= A. ｛x|-7≤x≤-1｝ B. ｛x|-7≤x≤-1或3＜x≤7｝ C. ｛x|-7≤x＜2或4≤x≤7｝ D. ｛4≤x≤7｝

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设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)

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。判断推理证明是否正确。 证明:设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)) 前提引入 (2)Q(c)∧Z(c) (1)∃- (3)∀x(Q(x)→R(x)) 前提引入 (4)Q(c)→R(c) (3)∀- ( 5 )Q(c) (2) 化简 ( 6 )R(c) (4)(5) 假言推理 ( 7 )Z(c) (2) 化简 (8)R(c)∧ Z(c) (6)(7) 合取引入 (9)∃x(R(x)∧Z(x)) (8)∃+

构造下式的推理证明：有理数都是实数，有的有理数是整数，因此有的实数是整数。证明设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: 错误

采用基2时间抽取FFT算法流图计算8点序列的DFT，第一级的数据顺序为 A: x[0],x[2],x[4],x[6],x[1],x[3],x[5],x[7] B: x[0],x[1],x[2],x[3],x[4],x[5],x[6],x[7] C: x[0],x[4],x[2],x[6],x[1],x[5],x[3],x[7] D: x[0],x[2],x[1],x[3],x[4],x[6],x[5],x[7]

采用基2频率抽取FFT算法计算点序列的DFT,以下()流图是对的。 A: x[0]，x[1]，x[2]，x[3]，x[4]，x[5]，x[6]，x[7] B: x[0]，x[2]，x[4]，x[6]，x[1]，x[3]，x[5]，x[7] C: x[0]，x[2]，x[1]，x[3]，x[4]，x[6]，x[5]，x[7] D: x[0]，x[4]，x[2]，x[6]，x[1]，x[5]，x[3]，x[7]

前提：∀x(P(x)→Q(x))，∃xP(x) ⇒∃xQ(x) (1)∀x(P(x) → Q(x)) 前提 (2) ∃xP(x) 前提 (3) P(c) (2), Es规则 (4)P(c)→Q(c) (1), Us规则 (5) Q(c) (3)(4), 假言推理I (6)∃xQ(x) (5), Eg规则 上述推理过程是否正确？

如果x=1: 2 : 8,则在MATLAB中x(1)和x(4)分别是( ) A: 1，8 B: 1, 7 C: 2, 8 D: 2, 7

光瓦基本误差规定标准为：0﹤X≦1％时，误差为（）％，1％﹤X≦4％时，误差为（）％，4﹤X≦7％时，误差为（）％，7﹤X≦10％时，误差为（）％。

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。 证明:设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) 本例中一定要把⑴,⑵写在⑶,⑷的前面,因为存在指定以后一定满足全称指定,否则不一定满足。也就是说同一个体变元存在指定一定要先于全称指定