第一格大前提应全称
第一格小前提应肯定
第二格两个前提应有一个是否定的
第三格小前提应肯定
第三格结论应特称
第1题：
以“所有P是M，有S不是M”为前提，进行三段论推理，推理正确的结论是（ ）。
第2题：
以“MIP”和“SOM”为前提进行三段论推理，所违反的格的具体规则是（）和（）。
第3题：
以“MIP”和“SOM”为前提进行三段论推理，所违反的格的具体规则是（）
第4题：
以“MOP、SAM”为前提，推出SAP进行三段论推理，所违反的格的具体规则是（）
第5题：
一个有效的第三格三段论式，其大前提若为MIP，则其小前提应为（），结论应为（）。
第6题：
以“PEM”、“MAS”为大小前提进行三段论推理，可以推出（ ）。
第7题：
一个有效的第三格三段论，其大前提为MIP，其小前提应为（），结论应为（）。
第8题：
一个有效的第三格三段论，其大前提如果为MIP，则其小前提为（），结论为（）。
第9题：
以MAP为大前提，SIP为结论的有效三段论，它的小前提可以是（）。
第10题：
以“所有的P是M”，“所有的S不是M”为大、小前提进行三段论推理，不能必然推出（）、（）、（）。