令G(x,y)：表示 x>y，其中x=-1，y=2，论域为全体整数。此时，G(x,y)是命题。
举一反三
- 令G(x,y)：表示 x>y，其中x=-1，y=2，论域为全体整数。此时，G(x,y)是命题。 A: 正确 B: 错误
- 设个体域是全体整数集Z，令P(x，y，z): xy=z；E(x，y): x=y；G(x，y): x>y.将下列命题符号化：若y=1，则对任何x都有xy=x
- 令F（x）：x是火车；G（y）：y是汽车；H（x）：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）））
- 设个体域是全体整数集Z，令P(x，y，z): xy=z；E(x，y): x=y；G(x，y): x>y.将下列命题符号化：若xy=0；则x=0或y=0
- 在谓词逻辑中，令F（x)表示x是火车，G（y)表示y是汽车，L（x，y)表示x比y快，命题 "并不是所有的火车比所有的汽车快"的符号表示中哪些是正确的？Ⅰ.┐"x"y（F（x)∧G（y)→L（x，y))Ⅱ.$x$y（F（x)∧G（y)∧┐L（x，y))Ⅲ.$x$y（F（x)∧G（y)→┐L（x，y)) A: 仅Ⅰ B: 仅Ⅱ C: Ⅰ和Ⅱ D: 都不对