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