离散数学选择题试题与范式转换分析.pdfVIP

离散数学

一．选择题

1.以下四个联结词集合中，那个不是完备集？（）

A.{¬，∧}B.{↑}C.{∧，∨，→，↔}D.{¬，→}

2.以下四个选项中，哪个选项可能是公式

G=∃x∃y∀z∃u∀v∃wP(x,y,z,u,v,w)的Skolem范式？（）

A.∀z∀vP(x,y,z,u,v,w)

B.∀z∀vP(a,f(a),z,g(z),v,h(z,v))

C.∀z∀vP(a,b,z,g(z),v,h(z,v))

D.∀z∀vP(a,b,z,f(v),v,c)

3.以下四个选项中，正确的是（）

A.

∃x∃yP(x,y)⇔∀y∃xP(x,y)

B.∀x∃yP(x,y)∃y∀xP(x,y)

C.∃y∀xP(x,y)∀x∃yP(x,y)

D.∃x∃yP(x,y)≠∃y∃xP(x,y)

4.下列四个选项中，哪个选项是公式

∃xF(x,y)→(H(x)→¬∃yG(x,y))的前束范式？（）

∀x∀y(F(x,y)→(H(x)→¬G(x,y)))

A.

B.∀x∃y(F(x,z)→(H(t)→¬G(x,y)))

C.∀x∀y(F(x,z)→(H(t)→¬G(t,y)))

D.∀x∀y(F(x,z)→(H(t)→¬G(r,s)))

离散数学

一.选择题

1.以下四个联结词集合中,那个不是凝固集?()

A.{}¬，∧B.{}↑C.{}∧∨→↔,,,D.{}¬，→

2.以下四个选项中，哪一个选项可以是()

G=∃x∃y∀z∃u∀v∃wPxyzuvw,的Skolem范式?()

A.),∀z∀vP(xyzuvwB.))，

∀z∀vP(a,f(a)z,g(z)v,h(zv，，

C.))，∀z∀vP(a,b,z,g(z)v,h(zv，

D.)，∀z∀vP(a,b,z,f(v)vc，

3.以下四个选项中，正确的是()

A.(),),(yxxPyyxyPx

∃∃⇔∀∃B.(),),

(yxxPyyxyPx∀∃∃∀

C.(),),(yxyPxyxxPy

∃∀∀∃D.(),),(

yxxPyyxyPx∃∃≠∃∃

4.下列四个选项中，哪一个选项是)),()((),(

yxyGxHyxxF∃→→¬∃的前束范式?()

A.))),∀∀((,)→(()→¬(

yxGxHyxFyxB.))),

∀∃((