1无效,形式为SOP→POS,违反换位法“前提中不周延的项在结论中不得周延”的规则.
2无效,形式为MAP∧MAS→SAP,违反三段论“前提中不周延的项在结论中不得周延”的规则,犯小项扩张错误.
3无效,形式为SAP→PAS,违反换位法“前提中不周延的项在结论中不得周延”的规则.
4有效,形式为：P；Q→P∧Q,属于联言推理组合式.
5无效,形式为：（P∨Q）∧P→~Q,选言推理肯定否定式违反推理规则,是无效的.
6无效,形式为：（A→B）∧（C→B）∧（A∨C）→B,二难推理简单构成式,形式是有效的,但其选言前提未穷尽各种可能情况,结论不必然可得.
7有效,形式为：（A←B）∧~A→~B,必要条件假言推理否定前件式,符合推理规则.
（说明：上述公式中的符号“~”表示否定符号）