问题详情

答题翼 > 问答 > 大学本科 > 正文
目录: 标题| 题干| 答案| 搜索| 相关

设F(x):x是火车;G(y):y是汽车;H(x y):x比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)))

参考答案
您可能感兴趣的试题