【单选题】设 B 是不含变元 x 的公式,谓词公式 ( x)(A(x) → B) 等价于 ()

【单选题】设 B 是不含变元 x 的公式,谓词公式 ( x)(A(x) → B) 等价于 ()
A. ( x)A(x) → B
B. ( x)A(x) → B
C. A(x) → B
D. ( x)A(x) → ( x)B

参考答案与解析:

相关试题

【单选题】谓词公式 x(P(x)∨ yR(y))→Q(x)中量词 x的辖域是()。

【单选题】谓词公式 x(P(x)∨ yR(y))→Q(x)中量词 x的辖域是()。A. x(P(x)∨ yR(y))B. P(x)C. (P(x)∨ yR(y)

  • 查看答案
  • 【单选题】已知谓词公式(∀x)(∀y)(P(x, y)→Q(x, y)),将其化为子句集的结果正确的是

    【单选题】已知谓词公式(∀x)(∀y)(P(x, y)→Q(x, y)),将其化为子句集的结果正确的是A. S = {¬P(x,y)∨Q(x,y)}B. S =

  • 查看答案
  • 【单选题】“ 人总是要死的” 谓词公式表示为 。(论域为全总个体域) M(x) : x是人;Mortal(x) :x 是要死的。

    【单选题】“ 人总是要死的” 谓词公式表示为 。(论域为全总个体域) M(x) : x是人;Mortal(x) :x 是要死的。【单选题】“ 人总是要死的

  • 查看答案
  • 36、[单选题]设f(x)在(a,b)内可导,则f'(x)

    36、[单选题]设f(x)在(a,b)内可导,则f(x)A. 充分条件B. 必要条件C. 充要条件D. 既非充分又非必要条件

  • 查看答案
  • 【单选题】社会资本再生产公式中m/x表示的是() 。

    【单选题】社会资本再生产公式中m/x表示的是() 。A. 在简单再生产条件下用于资本积累的剩余价值B. 在扩大再生产条件下用于资本积累的剩余价值C. 在简单再生

  • 查看答案
  • [单选题]-|||-4.设 =sin x ,则 (|)_(x=0)= __-|||-bigcirc

    [单选题]-|||-4.设 =sin x ,则 (|)_(x=0)= __-|||-bigcirc

  • 查看答案
  • [单选题]设A,B为n阶矩阵,记r(X)为矩阵X的秩,(X,Y)表示分块矩阵,则( ).

    [单选题]设A,B为n阶矩阵,记r(X)为矩阵X的秩,(X,Y)表示分块矩阵,则( ).A. r(A,AB)=r(A)B. r(A,BA)=r(A)C. r(

  • 查看答案
  • ( 单选题 1.0 分 ) 函数的u(x)-|||-v(x) 导数为u(x)-|||-v(x) A 对 B 错

    ( 单选题 1.0 分 ) 函数的u(x)-|||-v(x) 导数为u(x)-|||-v(x) A 对 B 错(单选题1.0分)函数的导数为A对B错

  • 查看答案
  • 3.单选题设X~N(μ,σ²),Y=2X-1,其中a、b为常数,且a≠0,则Y~()

    3.单选题设X~N(μ,σ²),Y=2X-1,其中a、b为常数,且a≠0,则Y~()A. N(2μ-1,2σ²+1);B. N(2μ+1,4σ²-1);C. N

  • 查看答案
  • 3.[单选题]-|||-函数 =tan x 在 x=π/2处-|||-A 连续-|||-B 间断

    3.[单选题]-|||-函数 =tan x 在 x=π/2处-|||-A 连续-|||-B 间断

  • 查看答案