• 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: 其他答案皆不正确
  • 举一反三