设Q是R中的有理数全体所组成的集合，则[img=17x20]17e438870b60788.jpg[/img]为（ ）.
未知类型：{'options': ['Q', ' R', ' [img=11x15]17e4360620b77cf.jpg[/img]', ' R\\Q'], 'type': 102}
未知类型：{'options': ['Q', ' R', ' [img=11x15]17e4360620b77cf.jpg[/img]', ' R\\Q'], 'type': 102}
举一反三
- 令R(x): x是实数, Q(x): x是有理数,则有些实数是有理数可符号化为( ) 未知类型：{'options': ['', ' [img=116x21]17e0be4f3fd7888.png[/img]', ' [img=121x21]17e0be4f4bac6f8.png[/img]', ' [img=115x21]17e0be4f5742a06.png[/img]'], '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}
- 设前提集合Γ={P→(Q→S), ¬R∨P, Q},公式G=R→S，证明Γ=>;G。 未知类型：{'options': ['R', ' [img=10x11]17da588760fa5e4.jpg[/img]R', ' P', ' Q[img=14x9]17da55be8bf714b.jpg[/img]S', ' P[img=14x9]17da55be8bf714b.jpg[/img]S', ' S', ' [img=10x11]17da588760fa5e4.jpg[/img]S', 'H. R[img=14x9]17da55be8bf714b.jpg[/img]S'], '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}
- 谓词公式([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}