所谓性质判断换质推理，就是通过改变已知性质判断的“质”而得出一个新判断的推理形式。下面的性质判断换质推理表述正确的是（ ）

①所有S是P，所以，有的P是S

②所有S不是P，所以，所有S是非P

③有些S是P，所以，有些S是非P

④有些S不是P，所以，有些S是非P

A、①③

B、②③

C、②④

D、①④