问题详情

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

设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)))

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