在谓词逻辑中，令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: 都不对
A: 仅Ⅰ
B: 仅Ⅱ
C: Ⅰ和Ⅱ
D: 都不对
举一反三
- 设F(x):x是汽车, G(y):y是火车, H(x,y):x比y快。那么命题“所有的汽车都比所有的火车快”符号化（ ） A: "x"y(F(x)ÙG(y)®H(x,y)) B: "x"y(F(x)ÙG(y)ÙH(x,y)) C: $x$y(F(x)ÙG(y)ÙØH(x,y)) D: $x$y(F(x)ÙG(y)®ØH(x,y))
- 令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）））
- ”说所有火车比所有汽车快是不对的“符号化为 （ ） A: [img=242x25]18037fe2393faa9.png[/img]其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快. B: [img=244x25]18037fe24503a68.png[/img]其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快. C: [img=234x25]18037fe24fbf02a.png[/img]其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快. D: [img=244x25]18037fe25af6c94.png[/img]其中：F(x):x是火车，G(y):y是汽车，H(x,y):x比y快.
- 凡是汽车就比火车慢是不对的。将这一阶逻辑命题符号化() A: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。┐(∀x∨∀y())→M(y,x)) B: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。┐(∀x∧∀y())→M(y,x)) C: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。┐(∃x∧∃y())→M(y,x)) D: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。∀x∨∃y()→┐M(x,y)
- 在谓词公式("x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z))中，("x)的辖域是（） A: (F(x)ÞG(y)) B: F(x) C: (F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z)) D: ("x)(F(x)