设F(x):x是火车;G(y):y是汽车;H(x y):x比y快. 命题“某些汽车比所有的火车慢”的符号化公式是______. A.(y)

大学 火车,符号化,汽车 已帮助 人

设F(x):x是火车;G(y):y是汽车;H(x,y):x比y快.

  命题“某些汽车比所有的火车慢”的符号化公式是______.

  A.(∃y)(G(y)→(∀x)(F(x)∧H(x,y)))  B.(∀y)(G(y)∧(∃x)(F(x)→H(x,y)))

  C.(∀x)(∃y)(G(y)→(F(x)∧H(x,y)))  D.(∃y)(G(y)→(∀x)(F(x)→H(x,y)))

热搜:x理论和y理论的主要观点