• 2022-06-07
    判断这两个谓词公式是否是前束范式?(1)∀�∃�∀�(P(�,�)→Q(�,�))(2)∀�P(�) ∧∃�Q(�)
    A: 都是前束范式
    B: 都不是前束范式
    C: (1)是前束范式,(2)不是前束范式
    D: (1)不是前束范式,(2)是前束范式
  • C

    内容

    • 0

      求前束范式/ananas/latex/p/1002114

    • 1

      判断下面谓词公式是否是前束范式:[tex=5.0x1.357]aBgYDO9SjWOVp8HDtCcy19Et2joHoVmfC+GjvXg3abA=[/tex]。

    • 2

      判断下面谓词公式是否是前束范式:[tex=5.0x1.357]QvXGDZ2ZMsY0Q9VLBCdx02QVOd91Tuo+/5pwJO7dnt8=[/tex]。

    • 3

      并不是所有谓词公式都有前束范式与之对应

    • 4

      一阶逻辑前束范式不惟一