在谓词逻辑中将下面命题符号化。 每列火车都比某些汽车快
T(x)：x是火车， B(x)：x是汽车， F(x,y)：x比y快。 则 ∀x(T(x) →∃y (B(y)∧F(x,y)))
举一反三
内容
- 0
在一阶逻辑中将下列命题符号化：说凡是汽车就比火车慢是不对的
- 1
将下列命题符号化：某些汽车比所有的火车都慢，但是至少有一列火车比每辆汽车都快。
- 2
在一阶逻辑中将下面命题符号化：有人爱看小说。
- 3
在一阶逻辑中将下面命题符号化：鸟都会飞翔。
- 4
在一阶逻辑中将下面命题符号化：并不是所有的人都爱吃糖。