以“所有P是M，有S不是M”为前提，进行三段论推理，推理正确的结论是（）

三段论推理是由两个直言判断作为前提和一个直言判断作为结论而构成的推理，其中只包含三个不同的项，简言之：如果所有的M属于P，所有的s属于M，则所有的s属于P。根据以上定义，下列推理属于三段论的是： 以“MIP”和“SOM”为前提进行三段论推理，所违反的格的具体规则是（） “有些S是M，所有P不是M，所以有些S不是P”这个三段论是（）. “所有A都不是B，所有B都是C”为前提，进行三段论推理，其正确结论是（）。 以“MIP”和“SOM”为前提进行三段论推理，所违反的格的具体规则是（）和（） 以“一个有效的三段论，或其大前提是肯定的，或其小前提是肯定的”为一前提进行选言推理，则另一前提可以是（）①这个有效的三段论大前提是肯定的②这个有效的三段论大前提不是肯定的③这个有效的三段论小前提是肯定的④这个有效的三段论小前提不是肯定的 “所有P都是M;有的S不是M;所以，有的s不是P。”这一三段论是 ( ) “所有P都是M；有的S不是M；所以，有的S不是P。”这一三段论是（）。 在下列三段论推理式中，违犯三段论规则，推理错误的是 三段论推理 下列三段论推理正确的是（）。 “所有的P都是M；所有的S都不是M；所以，所有的S都不是P。”这一三段论是（） “凡正确的直言三段论都有三个项，这个直言三段论有三个项，所以，这个直言三段论是正确的直言三段论。”此三段论推理 有效的三段论推理形式有（） 有效的三段论推理形式有 有效的三段论推理形式有(　　　　　) 有效的三段论推理形式有 有效的三段论推理形式有 有效的三段论推理形式有 “一个结论假的三段论，或者前提假，或者推理形式错误，这个结论假的三段论前提是假的，所以它的推理形式没错误。”这一个推理属于何种推理？是否正确？为什么？