[tex=9.429x1.357]VaqJiAtr+b/r8Z1mte4DIhNRou+SvcRESNEjriTXiGuie9BksqDcqNI/sa4iWITO[/tex]
举一反三
- 设A=，且A的特征值为1，2，3，则有（） A: x=2，y=4，z=8 B: x=-1，y=4，z∈R C: x=-2，y=2，z∈R D: x=-1，y=4，z=3
- 用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。判断推理证明是否正确。 证明:设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: 错误
- 以下函数用以求[tex=0.571x0.786]FLCxr+5eRIYnIT0kyTRrXg==[/tex]的[tex=0.571x1.0]xmABzkfH1dI7hTnxCUH55g==[/tex]次方,请补充填空。double fun (double x,int y){int i; double z;for(i=1;i[input=type:blank,size:4][/input];i++)z=[input=type:blank,size:4][/input];return z;}
- 已知[tex=10.286x1.357]CdP0UkObstV1b7lIUB/OAwRlFNM82Gi4HR3Pkv+snpM=[/tex]，则[tex=0.857x2.357]FWVk93yCZwpUNtFNtVwqIg==[/tex]值为 A: 1 B: 4 C: 1或4 D: 4或-1 E: -1