设p是单质数，a是大于1的整数，证明:[tex=2.214x1.143]I7QtTNhi9DxeN4wi1+A5x6nks3WXI6UOjhZq41s9I2k=[/tex]的单质因数是a+1的因数或是形如2px+1的整数，其中x是整数
举一反三
- 设p是单质数，a是大于1的整数，证明:[tex=2.214x1.143]I7QtTNhi9DxeN4wi1+A5x70XD4h3l1U/AR6VBDigWGE=[/tex]的奇质数q是[tex=2.0x1.0]qlK4NvYUrbr5vlXlMiHWhg==[/tex]的因数或是形如[tex=2.857x1.214]WGhOSMV1LEDbUAUbOAzdyg==[/tex]的整数，其中x是整数。
- 以下程序的输出结果是() main( ) { int i ， x[3][3]={9 ， 8 ， 7 ， 6 ， 5 ， 4 ， 3 ， 2 ， 1} ， *p=&x[1][1] ； for(i=0 ； i<4 ； i+=2) printf("%d " ， p[i]) ；
- 以下程序段实现的输出是（）。for(i=0;i<;=9;i++)s[i]=i;for(i=9;i>;=0;i--)printf("%2d",s[i]);[/i][/i] A: 9 7 5 3 1 B: 1 3 5 7 9 C: 9 8 7 6 5 4 3 2 1 0 D: 0 1 2 3 4 5 6 7 8 9
- 构造下式的推理证明：有理数都是实数，有的有理数是整数，因此有的实数是整数。证明设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(6)R(c)T(2)(4)I(7)Z(c)