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

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

谓词公式forall x)(P(x)arrow R(x,y))cap Q(x,y)可换名为forall x)(P(x)arrow R(x,y))cap Q(x,

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

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

[单选题]在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）A .依赖函数B .Skolem函数C .决定函数D .多元函数

【单选题】P(x, f(A))∨Q(x)和 ¬Q(f(y))∨R(z)的消解式为A. P(x,f(A))∨R(z)B. P(x,f(A))∨Q(x)∨R(z),

‎公式(forall x)[ P(x)在Q(x,A)arrow (exists y)[ R(x,y)cup S(y)] ] 中,(forall x)[ P(x)

17 [单选题] 函数 y=ln(1-x)+sqrt(x+2) 的定义域是A. [-2,1]B. [-2,1)C. (-2,1]D. (-2,1)

设个体域D = (a,b)，将公式ykparallel xF(x,y)量词消去，下列正确的是（ ）。ykparallel xF(x,y)ykparallel

5.(单选题) 设f(x,y)=(x+y)/(xy),则f(x+y,x-y)=（）A. $\frac{2x}{y^{2}-x^{2}}$B. $\frac{2x