“有些S是M，所有P不是M，所以有些S不是P”这个三段论是
举一反三
- “任何改革者不是思想僵化的，有些干部是改革者，所以有些干部不是思想僵化的”。此推理的逻辑形式是? 所有M不是P，有些S是M，所以有些S不是P|有些M不是P，有些S是M，所以S不是P|所有M不是P，S是M，所以S不是P|M是P，S不是M，所以S不是P
- “任何改革者不是思想僵化的，有些干部是改革者，所以有些干部不是思想僵化的”。此推理的逻辑形式是 A: 所有M不是P，S是M，所以S不是P B: 所有M不是P，有些S是M，所以有些S不是P C: 有些M不是P，有些S是M，所以S不是P D: M是P，S不是M，所以S不是P
- “任何改革者不是思想僵化的，有些干部是改革者，所以有些干部不是思想僵化的”。此推理的逻辑形式是 A: 有些M不是P，有些S是M，所以S不是P B: M是P，S不是M，所以S不是P C: 所有M不是P，S是M，所以S不是P D: 所有M不是P，有些S是M，所以有些S不是P
- 一个有效三段论的小前提是“有些S是M”，则大前提可能是（ ） A: 所有M是P B: 所有M不是P C: 所有P是M D: 所有P不是M E: 有些M是P
- “有些S是M，所有P不是M，所以有些S不是P”这个三段论是（）. A: 第一格EIO式 B: 第二格EIO式 C: 第三格EIO式 D: 第四格EIO式