请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜题小帮手 官方老师解答 )
答案：
以下文字与答案无关
提示：有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题，这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏，所以恳请 广大网友理解。
相关试题
- 1.判断 下列公式是否为可合一,若可合一,则求出其最一般合一。 (1) P(a, b), P(x, y) (2) P(f(x), b), P(y, z) (3) P(f(x), y), P(y, f(b)) (4) P(f(y ), y, x), P(x, f(a), f(b )) (5) P(x , y), P(y, x)
- 2.下列哪对公式是不可合一的。( ) 选项： A、P(a, b), P(x, y) B、P(f(x), b), P(y, z) C、P(f(x), y), P(y, f(b)) D、P(f(y), y, x), P(x, f(a), f(b))
- 3.以下各式中,是表达式集{P(x, f(y), B), P(x, f(B), B)}的最一般合一者的是:( ) 选项： A、{A/x, B/y} B、{C/x, B/y} C、{y/B} D、{B/y}
- 4.设有代换：q={f(y)/x,z/y},l={a/x,b/y,y/z}则最一般合一为( )选项： A:{f(b)/x,y/z}; B:{f(b)/x,z/y}; C: {f(y)/x,y/z}; D:{f(b)/x,z/b}
- 5.以下公式对哪个是不可合一的（ ）选项： A:P(y, y, b)，P(z, x, z) B:P(x, b, b)，P(a, y, z) C:2+3=x，x=3+3 D:P(f(a), g(s))，P(y, y)
- 6.以下哪项是前束范式 选项： A、"x"y(F(x) ÙF(y) ®G(y,x)) B、"x (F(x) Ù$y(F(y) ®G(y,x))) C、"x (F(x) Ù F(y) ®$y G(y,x)) D、"x (F(x) Ù "y F(y) ® G(y,x))
- 7.以下哪个公式是前束范式？ 选项： A、"x"y(F(x) ÙF(y) ®G(y,x)) B、"x (F(x) Ù$y(F(y) ®G(y,x))) C、"x (F(x) Ù F(y) ®$y G(y,x)) D、"x (F(x) Ù "y F(y) ® G(y,x))
- 8.已知表达式P[x, f(y), B]的两个置换为：s1={z/x, w/y}，s2={q(z)/x, A/y}，则以下选项正确的是（ ）选项： A:P[x,f(y),B]s1= P[z/x,f(w/y),B]; B:P[x,f(y),B]s2= P[q(z),A,B]; C:P[x,f(y),B]s1= P[z,f(w),B]; D:P[x,f(y),B]s2= P[q(z),f(A),B]
- 9.已知表达式P[x, f(y), B]的两个置换为：s1={z/x, w/y}，s2={q(z)/x, A/y}，则以下选项正确的是（ ）选项： A:P[x,f(y),B]s1= P[z/x,f(w/y),B]; B:P[x,f(y),B]s2= P[q(z),A,B]; C:P[x,f(y),B]s1= P[z,f(w),B]; D:P[x,f(y),B]s2= P[q(z),f(A),B]
- 10.( )不是有效的推理。 选项： A、前提：("x)(~P(x)ÞQ(x)), ("x)~Q(x)结论：P(a) B、前提：("x)(P(x)ÞQ) 结论：("x)P(x)ÞQ C、前提：("x)(P(x)∨Q(x)), ("x)(Q(x)Þ~R(x)) 结论：($x)(R(x)ÞP(x)) D、前提：("x)(P(x)Þ(Q(x)∧R(x))), ($x)(P(x)∧S(x))结论：("x)(R(x)∧S(x)) E、前提：("x)($y)P(x, y)结论：("x)($y)($z)(P(x, y)∧P(y, z)) F、前提：("x)P(x)∨("x)Q(x)结论：("x)(P(x)∨Q(x)) G、前提：("x)(G(x)ÞH(x))，~($x)(F(x)∧H(x))结论：($x)F(x)Þ($x)G(x) H、前提：("x)(H(x)ÞM(x))结论：("x)("y)(H(y)∧N(x, y)) Þ ($y)(M(y)∧N(a, y) )
-
11.以下正确的函数定义形式是（ ）。 选项： A:
float f(x,y)
B:float f(int x;int y)
C:float f(int x,y)
D:float f(int x,int y)
- 12.下述不是∀x∃yP(x,y)否定的是?选项： A:∀x∀y(﹁P(x,y)); B:∃x ∀y (﹁P(x,y)); C:∀x∃y(﹁P(x,y)); D:∃x ∃y(﹁P(x,y))
- 13.下述不是∀x∃yP(x,y)否定的是?选项： A:∀x∀y(﹁P(x,y)); B:∃x ∀y (﹁P(x,y)); C:∀x∃y(﹁P(x,y)); D:∃x ∃y(﹁P(x,y))
- 14.设随机变量 X 和 Y 的联合分布函数为 F(x, y), 而 FX(x) 和 FY (y)分别是 X 和 Y 的分布函数, 则对任意 a, b, 概率 P(X > x, Y > y) =( ). 选项： A、1 − F(x, y) B、F(x, y) + 1 − [FX(x) + FY (y)] C、1 − FX(x) − FY (y) D、F(x, y) − 1 + [FX(x) + FY (y)]
- 15.判断下列各式的类型． （1)F（x，y)→（G（x，y)→F（x，y))． （2)（F（x)→F（x))→y（G（y)∧￢G（y))． （3)F（x，y)→F（x，y)． （ 选项：A:判断下列各式的类型． B:(1)F(x，y)→(G(x，y)→F(x，y))． C:(2)(F(x)→F(x))→y(G(y)∧￢G(y))． D:(3)F(x，y)→￢F(x，y)． E:(4)F(x，y)→￢F(x，y)． F:(5)(F(x，y)→F(y，x))． G:(6)￢(￢F(x)→yG(y))∧yG(y)．
- 16.如果f :: Float -> Float -> Bool f x y = x <= y那么函数可以扩展为重载的函数：选项： A:f :: Ord a => a -> a -> Bool f x y = x <= y; B:f :: Num a => a -> a -> Bool f x y = x <= y; C:f :: Num a => a -> a -> a f x y = x <= y; D:f :: Ord a => a -> a -> a f x y = x <= y; E:f :: Eq a => a -> a -> Bool f x y = x <= y
- 17. (单选题)W={P(x,f(y,z)),P(x,a),P(x,g(h(k(x))))}的差异集为： 选项： A: {f(y,z),a,g(h(k(x)))} B: {a,g(h(k(x)))} C: {f(y,z),g(h(k(x)))} D: {f(y,z),a}
- 18.已知： A：（x)（（y)（P（x，y)∧Q（y))→（y)（R（y)∧T（x，y))) B：～（x)R（x)→（x)（y)（P（x，y)→～ 选项：A、已知： A：(x)((y)(P(x，y)∧Q(y))→(y)(R(y)∧T(x，y))) B：～(x)R(x)→(x)(y)(P(x，y)→～Q(y)) 求证：B是A的逻辑结论。
-
19.若f(x,y)=2xy/x2+y2则f(1,y/x)=( )。 选项： A:
2xy
B:x–y
C:2xy/x2+y2
D:0
- 20.设随机变量X与Y相互独立，都服从参数为0.6的0-1分布 则有 选项： A:P(X=Y)=0; B:P(X=Y)=0.5; C:P(X=Y)=0.52; D:P(X=Y)=1; E:P(X¹Y)=0.48; F:X=Y; G:P(X=Y)=0.48; H:P(X¹Y)=0.52
- 21.在谓词公式("x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x, y, z))中，("x)的辖域是（ ）选项： A:(F(x)ÞG(y)); B:F(x); C:(F(x)ÞG(y))Þ($y)(H(x)∧L(x, y, z)); D:("x)(F(x)
- 22.设D:全总个体域,F(x):x是花,M(x):x是人,H(x,y):x喜欢y,命题“有的人喜欢所有的花”的逻辑符号化为 选项： A、$x(M(x)Ù$y(F(y)®H(x,y))) B、"x(M(x)Ù"y(F(y)®H(x,y))) C、$x(M(x)®"y(F(y)®H(x,y))) D、$x(M(x)Ù"y(F(y)®H(x,y)))
