共用题干题利用谓词公式对下列命题符号化 每次火车都比某些汽车快。