求谓词公式______ ( P______ ∧y
( P ______ → R (x,y
) ) ) 的子句集。
( P ______ → R (x,y
) ) ) 的子句集。
举一反三
- 求谓词公式______ {______ P( x ,y ) →乛______ [ Q ( x ,y ) → R (x,y ) ] }的子句集。
- 下面公式（）不是谓词公式 A: P B: P（x）∨Q（y）→R（x） C: ∀P（x）∧R（x，y） D: ∀x（R（x）→P（x，y））
- 已知谓词公式(∀x)(∀y)(P(x, y)→Q(x, y))，将其化为子句集的结果正确的是（）。
- 对谓词公式（∀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))
- 已知谓词公式(∀x)(∀y)(P(x, y)→Q(x, y))，将其化为子句集的结果正确的是（ ）。 未知类型：{'options': ['', '', '', ''], 'type': 102}