• 2022-06-16
    对谓词公式(∀x)((∃y)﹁P(x,y)∨(∃y)( Q(x,y) ∧﹁R(x,y)))化简可以得到包含哪几项的子句?
    A: P(x,f(x))∨Q(x,g(x))
    B: ﹁P(x,f(x))∨Q(x,g(x))
    C: ﹁P(y,f(y))∨﹁R(y,g(y))
    D: P(y,f(y))∨R(y,g(y))
  • 举一反三