一台三相交流电机，定子槽数为Z=36，极对数为p=2，则每极每相槽数q=（ ）。 A: 3 B: 6 C: 9 D: 18

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

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

一台三相双层叠绕组交流电机，电机定子槽数Z=36槽，2对极p=2，并联支路数a=2，第一节距y1=7，问其每极每相槽数q是多少？ A: 3 B: 6 C: 2 D: 4

已有定义语句:int x=2,y=4,z=6;if(x>y) z=x;x=y;y=z;执行上述语句后x,y,z的值是____。 A: x=4,y=2,z=2 B: x=4,y=4,z=2 C: x=4,y=6,z=6 D: x=4,y=2,z=6

以下程序的输出结果是（）。#includevoidmain（）{intx=1，y=2，z=3；structaa{inta；int*p；}s[]={4，&x，5，&y，6，&z}；structaa*q=s+1；printf（"%d\n"，*（q–>p）++）；} A: 1 B: 2 C: 3 D: 4

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

某旋转电机定子采用单层叠绕组，定子槽数Z＝36、相数m＝3、极对数p＝2，则极距τ、每极每相槽数q、 槽距角α分别为（ ）。 A: τ=9 B: τ=18 C: q=3 D: q=6 E: α=20°电角度 F: α=40°电角度

已知向量a=(x,2,-10),b=(3,1,z)平行,则坐标x,z分别为（ ）. A: x=2,z=1 B: x=1,z=2 C: x=6,z=-5 D: x=-6,z=5