设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理论的主要观点
-
B直接“翻译”命题:
“某些汽车比所有火车慢”?“存在y,只要y是汽车并且对任何x只要x是火车,那么y都比x慢或x都比y快”可译为
(?y)(G(y)∧(?x)(F(z)→H(x,y)))
