任何推理都有内容和形式两个方面，从推理形式上看，如果推理合乎逻辑规律、规则和要求，推理形式就是有效的；否则，推理形式就是无效的。以下关于推理形式的描述正确的是（   ）

①由“有的学生不是青年”推出“有的青年不是学生”，其推理形式是有效的

②由“有些官员不是贪官”推出“有些官员是非贪官”，其推理形式是正确的

③“前提中不周延的项在结论中不得周延”是换位推理和三段论推理的基本规则

④相容的选言推理和不相容的选言推理，其有效的推理形式都包括肯定否定式

A、①③

B、①④

C、②③

D、②④