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