判断题 前提真结论也真的推理是正确的。

判断题 我们可以从周延的命题推出不周延的命题。

判断题 “有些S不是P”可以换位为“有些P不是S”。