”说所有火车比所有汽车快是不对的“符号化为 （ ）
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: [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快.
举一反三
- 设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）））
- 设F(x)表示x是火车，G(y)表示y是汽车，H(x,y)表示x比y快，则命题“有的汽车比所有的火车慢”符号化为（） A: [img=244x25]1803a0f3763d18b.png[/img] B: [img=244x25]1803a0f381ad12e.png[/img] C: [img=244x25]1803a0f38d23b5f.png[/img] D: [img=244x25]1803a0f398fc2bd.png[/img]
- 凡是汽车就比火车慢是不对的。将这一阶逻辑命题符号化() 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)
- 在谓词逻辑中，令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: 都不对