单项选择题 已知SIP为真，可以推出下列为真的有（）。

单项选择题 以SA为前提进行的变形推理，推出的正确结论是（）。

单项选择题 在性质判断中，决定性质判断种类的是（）。