已知谓词公式(∀x)(∀y)(P(x, y)→Q(x, y))，将其化为子句集的结果正确的是（）。
举一反三
- 已知谓词公式(∀x)(∀y)(P(x, y)→Q(x, y))，将其化为子句集的结果正确的是（ ）。 未知类型：{'options': ['', '', '', ''], 'type': 102}
- 求谓词公式______ {______ P( x ,y ) →乛______ [ Q ( x ,y ) → R (x,y ) ] }的子句集。
- 已知谓词公式(∀x)(∀y)(P(x, y)→Q(x, y))，将其化为子句集的结果正确的是（ ）。 A: [img=192x25]1803473d613a5bd.png[/img] B: [img=172x25]1803473d6a30491.png[/img] C: [img=180x25]1803473d7899bf6.png[/img] D: [img=160x25]1803473d80a6640.png[/img]
- 对谓词公式（∀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）→R（x，y））可化为相应子句集（） A: [img=372x32]18033ac543a52a2.png[/img] B: [img=283x25]18033ac54c6c4f7.png[/img] C: [img=354x38]18033ac55693670.png[/img] D: [img=302x28]18033ac561bb333.png[/img]