”说所有火车比所有汽车快是不对的“符号化为 （ ） A: [img=242x25]18037fe2393faa9.png[/img]其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快. B: [img=244x25]18037fe24503a68.png[/img]其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快. C: [img=234x25]18037fe24fbf02a.png[/img]其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快. D: [img=244x25]18037fe25af6c94.png[/img]其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快.

设F(x):x是学生,G(x):x是体育运动,H(x,y):x喜欢y。命题“所有学生都喜欢某种体育运动”的符号化公式是().(5.0) A: ∃y(G(y)→∀x(F(x)∧H(x,y))) B: ∀x(F(x)→∃y(G(y)∧H(x,y))) C: ∀x∃y(G(y)→(F(x)∧H(x,y))) D: ∃y(G(y)→∀x(F(x)→H(x,y)))

$4、设F(x)：x是学生，G(x)：x是体育运动，H(x，y)x喜欢y。命题“所有学生都喜欢某种体育运动”的符号化公式是().$ A: $ \exists y(G(y) \rightarrow \forall x(F(x) \wedge H(x, y))) $ B: $\exists y(G(y) \wedge \forall x(F(x) \rightarrow H(x, y))) $ C: $ \forall \mathrm{x} \exists \mathrm{y}(\mathrm{G}(\mathrm{y}) \rightarrow(\mathrm{F}(\mathrm{x}) \wedge \mathrm{H}(\mathrm{x}, \mathrm{y})))$ D: $ \exists y(G(y) \rightarrow \forall x(F(x) \rightarrow H(x, y))) $

设D：全总个体域，F（x）：x是花，M(x) ：x是人，H(x,y)：x喜欢y。则命题“有的人喜欢所有的花”的逻辑符号化为 ( ) A: [img=269x29]1802fc5274a97c6.png[/img] B: [img=262x27]1802fc52800a21b.png[/img] C: [img=265x28]1802fc528aa836d.png[/img] D: [img=254x25]1802fc5295869d0.png[/img]

命题“有的学生不踢足球”的逻辑符号化表示为?设D：全总个体域，F(x)：x是足球，M(x) ：x是学生，H(x,y)：x不踢y A: [img=255x25]180398a82dcf656.png[/img] B: [img=247x25]180398a837bbb1c.png[/img] C: [img=255x25]180398a8431b431.png[/img] D: [img=247x25]180398a84e6a26b.png[/img]