• 2022-05-30
    在一阶逻辑中将下列命题符号化:(1)火车都比轮船快;(2)有的火车比有的汽车快;(3)不存在比所有火车都快的汽车;(4)说方式汽车都比火车慢是不对的。