一阶逻辑公式∀xP(x)→∃xP(x)是（）。
A: 永真的
B: 永假的
C: 可满足的
D: 前束范式
A: 永真的
B: 永假的
C: 可满足的
D: 前束范式
举一反三
- 设G、H是一阶逻辑公式,P是一个谓词,G=xP(x),H=xP(x),则一阶逻辑公式GH是().(A)恒真的(B)恒假的(C)可满足的(D)前束范式. A: 恒真的 B: 恒假的 C: 可满足的 D: 前束范式
- 设G、H是谓词公式，P是一个谓词，G＝[img=14x16]17d60d81544b19c.png[/img]xP(x),H＝[img=16x18]17d60d81690de9d.png[/img]xP(x),则公式G[img=20x15]17d60d81752176d.png[/img]H是(). A: 前束范式. B: 可满足的 C: 永真的 D: 永假的
- 谓词公式xP(x)→xP(x)的类型为永真式。
- 对任意的公式P(x)，Ø$xØP(x)逻辑等值于（ ）。 A: Ø$xP(x) B: "xP(x) C: Ø"xØP(x) D: ØØ"yP(y)
- 对任意的公式P(x)，"xØP(x)逻辑等值于（ ）。 A: "xP(x) B: Ø$xP(x) C: Ø"xØP(x) D: Ø$yP(y)