共用题干题利用谓词公式对下列命题符号化 某些汽车比所有火车慢。