设有命题:我们中只有张三数学考试不及格。引进谓词:P(x): x是我们中的一员。Q(y): x数学考试及格了。E(x, y): x和y是同一个人。引进个体常相a:张三。在一般论域下,对上述命题用一阶谓词形式化的结果是( )。 未知类型：{'options': ['¬([img=8x14]17e4385aa223929.jpg[/img]x)(P(x)∧¬Q(x)∧¬E(x, a))', ' ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x)∧¬Q(x)→E(x,a))', ' ¬([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x)∧Q(x)∧E(x,a))', ' ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x)∧¬Q(x)∧E(x,a))'], 'type': 102}

令F(x):x是有理数,G(x):x是实数。将命题“所有的有理数都是实数,但有的有实数不是有理数”符号化为() 未知类型：{'options': ['17e0a83a4157352.jpgx(F(x)∧G(x))∧[img=8x14]17e0a83a35505d4.jpg[/img]x(G(x)[img=14x9]17e0a73094b5dcf.jpg[/img][img=10x11]17e0a839b915354.jpg[/img]F(x))', ' [img=8x14]17e0a83a4157352.jpg[/img]x(F(x)[img=14x9]17e0a73094b5dcf.jpg[/img]G(x))∧[img=8x14]17e0a83a35505d4.jpg[/img]x(G(x)∧[img=10x11]17e0a839b915354.jpg[/img]F(x))', ' [img=8x14]17e0a83a4157352.jpg[/img]x(F(x)∧G(x))∧[img=8x14]17e0a83a35505d4.jpg[/img]x(G(x)∧[img=10x11]17e0a839b915354.jpg[/img]F(x))', ' [img=8x14]17e0a83a4157352.jpg[/img]x(F(x)[img=14x9]17e0a73094b5dcf.jpg[/img]G(x))∧[img=8x14]17e0a83a35505d4.jpg[/img]x(G(x)[img=14x9]17e0a73094b5dcf.jpg[/img][img=10x11]17e0a839b915354.jpg[/img]F(x))'], '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}

对于公式[img=8x14]17e4385a99bb660.jpg[/img]x(P(x)∨Q(x))，其中P(x)：x=1， Q(x)：x=2，当论域为{0,1,2}时，时，其真值为________。