利用谓词的约束变元的换名规则和自由变元的代入规则，可将公式改写成______． A: (x)(P(y)→Q(x，y))∧R(z，s) B: (z)(P(z)→Q(z，s))∧R(x，s) C: (x)(P(s)→Q(x，s))∧R(x，s) D: (z)(P(s)→Q(z，s))∧R(z，s)

设有如下程序： char sub(char * q) {while(* q，＝'\0') {if(*q＞='A'&&*q＜＝'Z')*q＝* q+32; else if(*q＞＝'a' &&*q＜＝'z')*q=*q-32； printf("%c"，*q)； q++；} } main() {char *s="abcABC"； sub(s)； } 则程序运行后的输出结果是 ( ) A: ABCabc B: abcABC C: abcabc D: ABCABC

公式("x) ($y)(P(x，z)→Q(y))→S(x，y)中的约束变元进行换名，正确的是 A: ("x) ($y) (P(x，u)→Q(y))→S(x，y) B: ("x) ($v)(P(u，z)→Q(v))→S(u，v) C: ("u) ($v) (P(u，z)→Q(v))→S(x，y) D: ("u) ($v)(P(u，t)→Q(v))→S(u，v)

对于单相负载电路，功率因数的大小等于（）。 A: P/S B: Q/S C: R/Z D: P/Q

下列声母属于塞擦音的是( ) A: z、c、s、r B: z、c、d、t C: c、ch、q、f D: z、c、j、q

下列声母都属于塞擦音的一组是（） A: z、j、zh、q B: sh、q、c、z C: j、h、x、z D: j、c、s、ch

j、q、x和z、c、s的发音部位相同

对公式∀x∀y(P(x,y)∨Q(x,z))∧∃xP(x,y)使用代入和换名规则后得到的公式为( )。 A: ∀u∀y(P(u,y)∨Q(u,z))∧∃wP(w,s) B: ∀x∀u(P(x,u)∨Q(x,z))∧∃xP(x,y) C: ∀x∀y(P(x,y)∨Q(x,u))∧∃xP(x,s) D: ∀x∀y(P(x,y)∨Q(x,z))∧∃uP(u,z)

设有关键码序列（Q，G，M，Z，A，N，B，P，X，H，Y，S，T，L，K，E），采用二路归并排序法进行排序，下面哪一个序列是第二趟归并后的结果（） A: G, Q, M, Z, A, N, B, P, H, X, S, Y, L, T, B, K B: G, M, Q, Z, A, B, N, P, H, S, X, Y, E, K, L, T C: G, M, Q, A, N, B, P, X, H, Y, S, T, L, K, E, Z D: A, B, G, M, N, P, Q, Z, E, H, K, L, S, T, X, Y

谓词公式(x)(P(x)→Q(x,y)(z)R(y,z)) →S(x)中变元x　　 　。6189ddf3bf26aeeaaf3d4b222c5678c7.gifcc54e24c7778432992553c244851cb68.gif32d769f8fd8371da08be7985dd5e3440.gif