有以下程序： #include＜stdio.h＞ main() int a=7, b=8, *p, *q, *r; p=＆a; q=＆b; r=p; p=q; q=r; printf("%d, %d, %d, %d\n', *p, *q, a, b); 程序运行后的输出结果是（）。 A: 8, 7, 8, 7 B: 7, 8, 7, 8 C: 8, 7, 7, 8 D: 7, 8, 8, 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)) 前提引入 (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)∃+

有以下程序 void f(int *x,int *y) { int t; t=*x;*x=*y;*y=t; } main() { int a[8]={1,2,3,4,5,6,7,8},i,*p,*q; p=a;q=&a[7]; while(*p!=*q){f(p,q);p++;q--;} for(i=0;i<8;i++) printf("%d,",a[i]); } 程序运行后的输出结果是______。

【单选题】下面程序的运行结果是 () 。 void main() { int x=7,y=8,z=9; if(x>y) x=y,y=z; z=x; printf("x=%d y=%d z=%d ",x,y,z); } A. x=7 y=8 z=7 B. x=7 y=9 z=7 C. x=8 y=9 z=7 D. x=8 y=9 z=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: 错误

下列程序段的执行结果是（ ）。 x = 5: y = 7: z = 8 If x < y Then t = x: x = y: y = t End If If y < z Then t = y: y = z: z = t If x < y Then t = x: x = y: y = t End If End If Print x, y, z A: 8 5 7 B: 8 7 5 C: 5 7 8 D: 7 5 8

int x,y,z; x=7; y=8; z=9; if(x&gt;y) x=y; y=z; z=x; printf(“x=%d y=%d z=%d\n”,x,y,z);以上程序段的输出结果是：（） A: x=7 y=8 z=9 B: x=7 y=9 z=7 C: x=8 y=9 z=7 D: x=8 y=9 z=8

34X（X表示7进制）=（ ）Q

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

执行下列代码段后，b、x、y的值是（）。int x = 6, y = 8;boolean b;b = x ＜ y || ++x == –y; A: true、6、8 B: false、7、7 C: true、7、7 D: false、6、8