设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: 永假的
A: 前束范式.
B: 可满足的
C: 永真的
D: 永假的
举一反三
- 设G、H是一阶逻辑公式,P是一个谓词,G=xP(x),H=xP(x),则一阶逻辑公式GH是().(A)恒真的(B)恒假的(C)可满足的(D)前束范式. A: 恒真的 B: 恒假的 C: 可满足的 D: 前束范式
- 一阶逻辑公式∀xP(x)→∃xP(x)是（）。 A: 永真的 B: 永假的 C: 可满足的 D: 前束范式
- 设G、H是一阶逻辑公式，P是一个谓词，[img=85x25]180398112049463.png[/img], [img=86x25]1803981128ab7a4.png[/img],则一阶逻辑公式[img=58x19]1803981131cb041.png[/img]是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确
- 下列（ ）是谓词公式。 A: P(x) B: [img=12x14]180324c8744588e.png[/img]P(x) C: P(x)[img=18x11]180324c87c59fe1.png[/img]Q(x) D: P(x)+Q(x)[img=18x11]180324c884649c1.png[/img]R(x)
- 下列（ ）是谓词公式。 A: P(x) B: [img=12x14]18038f1536a9c9f.png[/img]P(x) C: P(x)[img=18x11]18038f153e625c4.png[/img]Q(x) D: P(x)+Q(x)[img=18x11]18038f1547a3842.png[/img]R(x)