- 首页
- 企业事业单位考试
答案:
-
1.C.∑X,P()D.∑XP(02
-
2.【单选题】一阶逻辑公式 " xP(x) ® $ yQ(y) 的前束范式是
A. " x $ y(P(x) ® Q(y)) B.
-
3.公式∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,y)可换名为(对约束变元改名)
-
4. (填空题) 设G、H是一阶逻辑公式,P是一个谓词,G=xP(x), H=xP(x),则一阶逻辑公式GH是可___ 的(本题4.0分)
-
5.2)2≤(xP (1-x)P)≤1,∈[0.1,p>1
-
6.【单选题】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), σ = {f(y)/x} C.
-
7.Элементами множеств А, P, Q являются натуральные числа, причёмP={1,2,3,4,5,6,7,10}P={1,2,3,4,5,6,7,10
-
8.Элементами множеств А, P, Q являются натуральные числа, причёмP={1,2,3,4,5,6,7,10}P={1,2,3,4,5,6,7,10
-
9.P(X>80)[ ]P(X>100)。
-
10.设X~P(l),且P{X = 5} = P{X = 6},则E(X) = ( ).