• 1. 以“有S是M，所有P不是M”为前提进行三段论推理，将所得结论再进行变形法直接推理，可得出的结论有（ ）

  ①有非P是S

  ②有S是非P

  ③有S是P

  ④有P不是S

  A . ①② B . ①③ C . ②④ D . ③④