1無效,形式為SOP→POS,違反換位法“前提中不周延的項(xiàng)在結(jié)論中不得周延”的規(guī)則.
2無效,形式為MAP∧MAS→SAP,違反三段論“前提中不周延的項(xiàng)在結(jié)論中不得周延”的規(guī)則,犯小項(xiàng)擴(kuò)張錯誤.
3無效,形式為SAP→PAS,違反換位法“前提中不周延的項(xiàng)在結(jié)論中不得周延”的規(guī)則.
4有效,形式為：P；Q→P∧Q,屬于聯(lián)言推理組合式.
5無效,形式為：（P∨Q）∧P→~Q,選言推理肯定否定式違反推理規(guī)則,是無效的.
6無效,形式為：（A→B）∧（C→B）∧（A∨C）→B,二難推理簡單構(gòu)成式,形式是有效的,但其選言前提未窮盡各種可能情況,結(jié)論不必然可得.
7有效,形式為：（A←B）∧~A→~B,必要條件假言推理否定前件式,符合推理規(guī)則.
（說明：上述公式中的符號“~”表示否定符號）