• 2022-05-27 问题

    从($y)("x)R(x,y)不能推出的是: A: ("x)($y)R(x,y) B: ("y)($x)R(x,y) C: ($x)($y)R(x,y) D: ($y)($x)R(x,y)

    从($y)("x)R(x,y)不能推出的是: A: ("x)($y)R(x,y) B: ("y)($x)R(x,y) C: ($x)($y)R(x,y) D: ($y)($x)R(x,y)

  • 2022-05-27 问题

    1.已知全集U={(x,y)|x∈R,y∈R},M={(x,y)|y-1/x+2,x∈R,y∈R},N={(x,y)|2x-y+5=0,x∈R,y∈R}.求CiM∩N=?

    1.已知全集U={(x,y)|x∈R,y∈R},M={(x,y)|y-1/x+2,x∈R,y∈R},N={(x,y)|2x-y+5=0,x∈R,y∈R}.求CiM∩N=?

  • 2021-04-14 问题

    【单选题】公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中,∀x的辖域为 , ∃y的辖域为 。 A. P(x); R(x, y) B. P(x)∧Q(x, A); R(x, y) C. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y) D. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)∨S(y)

    【单选题】公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中,∀x的辖域为 , ∃y的辖域为 。 A. P(x); R(x, y) B. P(x)∧Q(x, A); R(x, y) C. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y) D. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)∨S(y)

  • 2021-04-14 问题

    设R⊆X×X, (∀x)(∀y)(∀z)(x∈X∧y∈X∧z∈X∧(x,y)∈R∧(y,z)∈R→(x,z)∈R),则称R在X上是传递的。

    设R⊆X×X, (∀x)(∀y)(∀z)(x∈X∧y∈X∧z∈X∧(x,y)∈R∧(y,z)∈R→(x,z)∈R),则称R在X上是传递的。

  • 2022-06-03 问题

    设R(x):x是兔子,T(y):y是乌龟,Q(x , y):x比y跑得快,命题“兔子比乌龟跑得快”符号化为( )。 A: ∀x(R(x)→Q(x,y)) B: ∀x(R(x)→∃y ( T(y) ∧Q(x,y) ) ) C: ∀x∃y (R(x) ∧ T(y) ∧Q(x,y) ) D: ∀x∀y (R(x) ∧ T(y) →Q(x,y) )

    设R(x):x是兔子,T(y):y是乌龟,Q(x , y):x比y跑得快,命题“兔子比乌龟跑得快”符号化为( )。 A: ∀x(R(x)→Q(x,y)) B: ∀x(R(x)→∃y ( T(y) ∧Q(x,y) ) ) C: ∀x∃y (R(x) ∧ T(y) ∧Q(x,y) ) D: ∀x∀y (R(x) ∧ T(y) →Q(x,y) )

  • 2022-06-03 问题

    设P(x):x是大象,Q(x):x是老鼠,R(x,y):x比y重,则命题“大象比老鼠重”的符号化为 A: ∀x∀y(P(x)∧Q(y)→R(x,y)) B: P(x)∧Q(y)→R(x,y) C: ∀x∃y(P(x)∧Q(y)∧R(x,y)) D: ∃x∃y(P(x)∧Q(y)∧R(x,y))

    设P(x):x是大象,Q(x):x是老鼠,R(x,y):x比y重,则命题“大象比老鼠重”的符号化为 A: ∀x∀y(P(x)∧Q(y)→R(x,y)) B: P(x)∧Q(y)→R(x,y) C: ∀x∃y(P(x)∧Q(y)∧R(x,y)) D: ∃x∃y(P(x)∧Q(y)∧R(x,y))

  • 2021-04-14 问题

    【填空题】设 R为非空集合A上的等价关系,其等价类记为〔x〕R。 x,y∈A,若〈x,y〉∈R,则〔x〕 R 与〔 y〕 R 的关系是 ______,而若〈x,y〉 R,则〔x〕 R ∩〔y〕 R =______

    【填空题】设 R为非空集合A上的等价关系,其等价类记为〔x〕R。 x,y∈A,若〈x,y〉∈R,则〔x〕 R 与〔 y〕 R 的关系是 ______,而若〈x,y〉 R,则〔x〕 R ∩〔y〕 R =______

  • 2021-04-14 问题

    【单选题】与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是()。 A. ( " x )( P ( x ) ∧ Q ( x , z )) Þ ( $ x ) R ( x , y ) B. ( " y )( P ( y ) ∧ Q ( y , y )) Þ ( $ x ) R ( x , y ) C. ( " z )( P (z ) ∧ Q ( x , y )) Þ ( $ x ) R ( x , y ) D. ( " u )( P ( u ) ∧ Q ( u , z )) Þ ( $ x ) R ( x , z )

    【单选题】与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是()。 A. ( " x )( P ( x ) ∧ Q ( x , z )) Þ ( $ x ) R ( x , y ) B. ( " y )( P ( y ) ∧ Q ( y , y )) Þ ( $ x ) R ( x , y ) C. ( " z )( P (z ) ∧ Q ( x , y )) Þ ( $ x ) R ( x , y ) D. ( " u )( P ( u ) ∧ Q ( u , z )) Þ ( $ x ) R ( x , z )

  • 2022-10-25 问题

    与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是( )。 A: ("x)(P(x)∧Q(x, z))Þ($x)R(x, y) B: ("y)(P(y)∧Q(y, y))Þ($x)R(x, y) C: ("z)(P(z)∧Q(x, y))Þ($x)R(x, y) D: ("u)(P(u)∧Q(u, z))Þ($x)R(x, z)

    与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是( )。 A: ("x)(P(x)∧Q(x, z))Þ($x)R(x, y) B: ("y)(P(y)∧Q(y, y))Þ($x)R(x, y) C: ("z)(P(z)∧Q(x, y))Þ($x)R(x, y) D: ("u)(P(u)∧Q(u, z))Þ($x)R(x, z)

  • 2022-05-31 问题

    The equivalent commands in the following are ( ). A: line(x,y,'Color','r'); B: line(x,y,'r'); C: plot(x,y,'Color','r'); D: plot(x,y,'r');

    The equivalent commands in the following are ( ). A: line(x,y,'Color','r'); B: line(x,y,'r'); C: plot(x,y,'Color','r'); D: plot(x,y,'r');

  • 1 2 3 4 5 6 7 8 9 10