存在一列火车比所有的汽车跑得慢,将这个命题符号化