设个体域为A={a,b}，公式∀xP（x) ∧∃xS（x)消去量词后应为P（x)∧S（x).

A、（? P(a)νQ(a)νQ(b)）Λ（? P(b)νQ(a)νQ(b)）

B、（P(a)∨P(b))? (Q(a)∨Q(b))

C、（P(a) ù P(b))? (Q(a)∨Q(b))

D、（? P(a)νQ(a) ）Λ（? P(b) νQ(b)）

设< L, ≤>是一个分配格，a b∈L且a < b,证明是一个从L到S的同态映射。其中S={x|x∈L且a ≤x ≤b}。

令S为从X到Y的关系，T为从Y到Z的关系．对于AX，定义S(A)={y|〈x，y〉∈S∧x∈A}．证明：

设是格，任取a∈L，令S={x|x∈L∧x≤a}。证明：是L的子格.

设P(x),Q(x),R(x),S(x)为多项式,证明:

可被(x-a)⁴整除.

利用谓词的约束变元的换名规则和自由变元的代入规则，可将公式改写成______．

  A．(x)(P(y)→Q(x，y))∧R(z，s)  B．(z)(P(z)→Q(z，s))∧R(x，s)

  C．(x)(P(s)→Q(x，s))∧R(x，s)  D．(z)(P(s)→Q(z，s))∧R(z，s)

对于以下的文法G[S]，(27)是其句子(从S出发开始推导)。 G(S)：S→M|(S,M) M→P|MP P→a|b|c|…|x|x|z

A．(abc)

B．((a,f))

C．(c,(da))

D．((fac,bb),g)

设A、B是两个集合，f是A到B的映射，证明(S，)是(2^B，)的一个子格，其中S={y|y=f(x)，x∈p(A)}．

设总体X～N(μ，16)X₁，X₂，…，X₁₀为取自该总体的样本，已知P{S²＞a}=0.1，求常数a