令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: 都不对