已知谓词公式(∀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]
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）∨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]
- 谓词公式([img=14x16]17da56eeb417e47.png[/img]x)P(x,y)∧(([img=8x14]17da6393381999d.jpg[/img]x)Q(x,z)→([img=12x15]17da639354b492d.png[/img]x)([img=8x14]17da6393381999d.jpg[/img]y)R(x,y,z))中量词[img=15x16]17da56ee93ee35a.png[/img]x的辖域是( ) 未知类型：{'options': ['([img=15x16]17da56ee93ee35a.png[/img]x)Q(x,z)→([img=8x14]17da563f348435c.jpg[/img]x)([img=15x16]17da56ee93ee35a.png[/img]y)R(x,y,z))', ' Q(x,z)→([img=15x16]17da56ee93ee35a.png[/img]y)R(x,y,z)', ' Q(x,z)→([img=12x15]17da639354b492d.png[/img]x)([img=8x14]17da6393381999d.jpg[/img]y)R(x,y,z)', ' Q(x,z)'], 'type': 102}
- 谓词公式([img=8x14]17e0a83a4157352.jpg[/img]x)P(x,y)∧([img=8x14]17e0a83a35505d4.jpg[/img]x)(Q(x,z)→([img=8x14]17e0a83a4157352.jpg[/img]x)([img=8x14]17e0a83a4157352.jpg[/img]y)R(x,y,z))中量词[img=8x14]17e0a83a35505d4.jpg[/img]x的辖域是() 未知类型：{'options': ['(Q(x,z)→([img=8x14]17e0a83a4157352.jpg[/img]x)([img=8x14]17e0a83a4157352.jpg[/img]y)R(x,y,z))', ' Q(x,z)，R(x,y,z)', ' Q(x,z)→([img=8x14]17e0a83a4157352.jpg[/img]y)R(x,y,z)', ' Q(x,z)'], 'type': 102}
- 一阶公式([img=16x17]17da563f2953679.png[/img]x)(P(x)∨([img=8x14]17da563f348435c.jpg[/img]y)R(y))→Q(x)中量词x的辖域是( ) 未知类型：{'options': ['([img=16x17]17da563f2953679.png[/img]x)(P(x)∨([img=8x14]17da563f348435c.jpg[/img]y)R(y))', ' P(x)', ' (P(x)∨([img=13x16]17da563f4517a67.png[/img]y)R(y))', ' (P(x)∨([img=13x16]17da563f4517a67.png[/img]y)R(y))→Q(x)'], 'type': 102}
- 下列公式中（ ）不是命题 。 A: ([img=10x19]180361811d22e4e.png[/img]x)P(x) B: ([img=10x19]18036181259b0de.png[/img]x)P(x) C: ([img=10x19]180361811d22e4e.png[/img]x)(P(x)[img=12x16]18036181351b766.png[/img]p(y)) D: ([img=10x19]18036181259b0de.png[/img]x)([img=10x19]18036181259b0de.png[/img]y)(P(x)[img=18x11]180361814f231a2.png[/img]p(y))