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

每次火车都比某些汽车快。

问答题每次火车都比某些汽车快。

（z）（P（x）∧（x）R（x，z）→（y）Q（x，y））∨R（x，y）

问答题（∀z）（P（x）∧（∃x）R（x，z）→（∃y）Q（x，y））∨R（x，y）

（x）（y）（R（x，y）∧Q（z））

问答题（∃x）（∀y）（R（x，y）∧Q（z））