1. 城市化是我国社会主义现代化建设进程中的重要课题。市长是由国家任命的公职人员，担负着城市治理的重要职责，是城市发展的促进者。基于上述背景，在我国：

①所有的市长都是由国家任命的公职人员

②所有的市长都是城市发展的促进者

③有些国家任命的公职人员是城市发展的促进者

④有些国家任命的公职人员是市长

从以上四个判断中选取三个，依次作为大前提、小前提、结论，下列选项中符合三段论推理规则的是（   ）