谓词公式([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}
未知类型：{'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}
- 下列的推理结构中哪个是正确的推理形式()。 未知类型：{'options': ['([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) ∧ ([img=8x14]17e4385a99bb660.jpg[/img]x)Q(x) → ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∧Q(x))', ' ([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) → ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∧ Q(x))', ' ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∨ Q(x)) → ([img=8x14]17e4385a99bb660.jpg[/img]x)P(x) ∨([img=8x14]17e4385a99bb660.jpg[/img]x)Q(x)', ' ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x)∨ Q(x)) → ([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) ∧ ([img=8x14]17e4385a99bb660.jpg[/img] x)Q(x)'], 'type': 102}
- 下列的推理结构中哪个是正确的推理形式()。 未知类型：{'options': ['([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∨Q(x)) → ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) ∧ ([img=8x14]17e4385aa223929.jpg[/img]x)Q(x)', ' ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∨ Q(x)) → ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) ∨ ([img=8x14]17e4385aa223929.jpg[/img]x)Q(x)', ' ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) → ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∧Q(x))', ' ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) ∧([img=8x14]17e4385aa223929.jpg[/img]x)Q(x) → ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∧ Q(x))'], 'type': 102}
- 下列规则中正确的是_______。 未知类型：{'options': ['若 X→Y，WY→Z，则 WX→Z', ' 若 X [img=11x15]17e436495b05169.jpg[/img]Y ，则 X→Y', ' 若 XY→Z，则 X→Z，Y→Z', ' 若 X [img=10x12]17e4364941e22f9.jpg[/img]Y =[img=11x15]17e4360620b77cf.jpg[/img] ，则 X→Y'], 'type': 102}