【单选题】由 f(x)=g(x)q(x)+r(x),可得() A. (f(x),g(x))=(f(x),r(x)) B. (f(x),g(x))=(g(x),r(x)) C. (f(x),r(x))=(g(x),r(x)) D. (f(x),q(x))=(g(x),r(x))

3.4对下列各题分别证明G是否为F1,F2,…,Fn的逻辑结论：(1)F:(Ǝx)(Ǝy)(P(x,y)G:(ꓯy)(Ǝx)(P(x,y)(2)F:(ꓯx)(P(x)∧(Q(a)∨Q(b)))G:(Ǝx)(P(x)∧Q(x))(3)F:(Ǝx)(Ǝy)(P(f(x))∧(Q(f(y)))G:P(f(a))∧P(y)∧Q(y)(4)F1:(ꓯx)(P(x)→(ꓯy)(Q(y)→[img=1x1]17e0a6a55067d30.gif[/img]L(x.y)))F2:(Ǝx)(P(x)∧(ꓯy)(R(y)→L(x.y)))G:(ꓯx)(R(x)→[img=1x1]17e0a6a55067d30.gif[/img]Q(x))(5)F1:(ꓯx)(P(x)→(Q(x)∧R(x)))F2:(Ǝx)(P(x)∧S(x))G:(Ǝx)(S(x)∧R(x))

切槽循环指令G75在程序中的书写格式正确的是( ) A: G75 X(d)G75 R(r) Z(z) P(p) Q(q) F(f) B: G75 Z(z)G75 X(d) R(r) P(p) Q(q) F(f) C: G75 P(p)G75 X(d) R(r) Z(z) Q(q) F(f) D: G75 R(r)G75 X(d) Z(z) P(p) Q(q) F(f)

已知f(x)是定义在R上的函数，f(1)=1且对任意x∈R都有f(x+5)≥f(x)+5，f(x+1)≤f(x)+1，若g(x)=f(x)+1-x，则g(2002)=（）。

G75 X10R1Q5F1000式中1000表示

某公司发行面值为1000元、票面利率为10%、期限为5年的债券,每年年末付息1次,到期一次还本。在债券发行时,市场利率为5%,其价值为（） A: 1000*（P/F,5%,5）+1000*10%*(P/A,5%,5) B: 1000*（P/F,10%,5）+1000*10%*(P/A,5%,5) C: 1000*（P/F,5%,5）+1000*5%*(P/A,5%,5) D: 1000*（P/F,10%,5）+1000*5%*(P/A,10%,5)

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设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)) 前提引入 (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)∃+

P(x, f(A))∨Q(x)和 ¬Q(f(y))∨R(z)的消解式为（）。

用希尔排序对{Q,H,C,Y,Q,A,M,S,R,D,F,X},进行排序，第一趟的增量是4，则第一趟排序后的结果是（ ） A: {H,Q, C,Y,Q,A,M,S,R,D,F,X} B: {Q,A,C,S,Q,D,F,X,R,H,M,Y} C: {H,C,Q,Q,A,M,S,R,D,F,X,Y} D: { A,H,C,Y,Q,Q,M,S,R,D,F,X}