A: 恒真的
B: 恒假的
C: 可满足的
D: 前束范式
举一反三
- 一阶逻辑公式∀xP(x)→∃xP(x)是()。 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: 永假的
- 设G、H是一阶逻辑公式,P是一个谓词,[img=85x25]180398112049463.png[/img], [img=86x25]1803981128ab7a4.png[/img],则一阶逻辑公式[img=58x19]1803981131cb041.png[/img]是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确
- 设【图片】、【图片】是一阶逻辑公式,【图片】是一个谓词,【图片】,【图片】,则一阶逻辑公式【图片】是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确
- 谓词公式设[img=139x17]17da6393a360252.png[/img]是( ). A: 恒真的 B: 恒假的 C: 可满足的
内容
- 0
设[img=15x19]18036a79431e02b.png[/img]、[img=15x19]18036a794b8b1c8.png[/img]是一阶逻辑公式,[img=36x25]18036a79549d203.png[/img]是一个谓词,[img=85x25]18036a795d206d6.png[/img], [img=86x25]18036a796610d6d.png[/img],则一阶逻辑公式[img=58x19]18036a796f0ace2.png[/img]是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确
- 1
设[img=15x19]18037981c9bf17d.png[/img]、[img=9x18]18037981d2154b4.png[/img]是一阶逻辑公式,[img=12x19]18037981da3eb18.png[/img]是一个谓词,[img=85x25]18037981e337e5f.png[/img], [img=86x25]18037981ec92526.png[/img],则一阶逻辑公式[img=58x19]18037981f5e3d1b.png[/img]是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确
- 2
设[img=15x19]1803a0f3a1d3198.png[/img]、[img=15x19]1803a0f3aa8b975.png[/img]是一阶逻辑公式,[img=36x25]1803a0f3b28b8da.png[/img]是一个谓词,[img=85x25]1803a0f3ba9c502.png[/img], [img=86x25]1803a0f3c37b7c0.png[/img],则一阶逻辑公式[img=58x19]1803a0f3d421b9d.png[/img]是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确
- 3
设[img=15x19]1803707a0078023.png[/img]、[img=15x19]1803707a0976651.png[/img]是一阶逻辑公式,[img=36x25]1803707a11f91f2.png[/img]是一个谓词,[img=85x25]1803707a19fc7ed.png[/img], [img=86x25]1803707a22ced3f.png[/img],则一阶逻辑公式[img=58x19]1803707a2bc9ff6.png[/img]是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确
- 4
设[img=15x19]1802f91bbc7ba2d.png[/img]、[img=9x18]1802f91bc5f70ad.png[/img]是一阶逻辑公式,[img=12x19]1802f91bcdd783b.png[/img]是一个谓词,[img=85x25]1802f91bd645b0f.png[/img], [img=86x25]1802f91bdf2cabe.png[/img],则一阶逻辑公式[img=58x19]1802f91be6ffc80.png[/img]是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确