请问大前提，小前提和结论分别是AEIO中的哪种呀？
我只推出了大前提是SIP，也不知道对不对

1.杀害李某的凶手、是与李某有很深仇怨的人。PAM.
2.张某确实与与李某有很深仇怨。SAM.
3.因而，可以肯定，张某、是杀害李某的凶手。SAP.
PAM,SAM,∴SAP.
这个论证格式为AAA-2.它是无效的。
无效的原因是，中项M都是不周延的。

如果是杀害李某的凶手A，有个必要条件——与李某有很深仇怨B。B是A的必要条件，“A→B推~B→~A”，结论可靠，有效推理。“A→B推B→A”，结论不可靠，推理无效。
最初的直觉：三段论第二格，中项相当于某个必要条件，所以，“AEE、EAE、AOO、EIO”是三段论第二格的四个有效式。