• 2022-06-03
    设G、H是一阶逻辑公式,P是一个谓词,[img=85x25]180398112049463.png[/img], [img=86x25]1803981128ab7a4.png[/img],则一阶逻辑公式[img=58x19]1803981131cb041.png[/img]是
    A: 可满足的
    B: 恒真的
    C: 恒假的
    D: 其他答案皆不正确
  • A

    举一反三

    内容

    • 0

      设[img=15x19]1802f91b6397874.png[/img]、[img=15x19]1802f91b6c34b42.png[/img]是一阶逻辑公式,[img=12x19]1802f91b74afbed.png[/img]是一个谓词,[img=85x25]1802f91b7c92529.png[/img], [img=86x25]1802f91b851004c.png[/img],则一阶逻辑公式[img=58x19]1802f91b8d0d082.png[/img]是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确

    • 1

      设[img=15x19]1802f91a79e935c.png[/img]、[img=15x19]1802f91a8181298.png[/img]是一阶逻辑公式,[img=36x25]1802f91a8a90c69.png[/img]是一个谓词,[img=85x25]1802f91a92cbdcf.png[/img], [img=86x25]1802f91a9b11e26.png[/img],则一阶逻辑公式[img=58x19]1802f91aa2d8dc6.png[/img]是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确

    • 2

      设G、H是一阶逻辑公式,P是一个谓词,G=xP(x),H=xP(x),则一阶逻辑公式GH是().(A)恒真的(B)恒假的(C)可满足的(D)前束范式. A: 恒真的 B: 恒假的 C: 可满足的 D: 前束范式

    • 3

      设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: 永假的

    • 4

      设【图片】、【图片】是一阶逻辑公式,【图片】是一个谓词,【图片】,【图片】,则一阶逻辑公式【图片】是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确