按思维进程：可分为演绎推理、归纳推理、类比推理、附性法推理等）

　　1、对当关系推理：有效式16条

　　SAP→SIPSAP→┐SEPSAP→┐SOP

　　SEP→SOPSEP→┐SAPSEP→┐SIP

　　┐SIP→┐SAP┐SIP→SEP┐SIP→SOP

　　┐SOP→┐SEP┐SOP→SAP┐SOP→SIP

　　┐SAP→SOP┐SEP→SIPSIP→┐SEPSOP→┐SAP

　　2、命题变形推理

　　换质法

　　（1）规则：改变命题的质,谓项变成前提中的矛盾概念.

　　（2）有效式：

　　SAP→SEPSEP→SAPSIP→SOPSOP→SIP

　　换位法

　　（1）规则：调换主谓项的位置,前提中不周延的项,在结论中也不得周延.

　　（2）有效式：SAP→PISSEP→PESSIP→PIS

　　戾换法

　　规则：换位时遵守换位的规则,换质时遵守换质的规则.

　　有效式：6条.

　　3、三段论

　　（1）定义：由两个包含着共同项的性质命题推出一个新的性质命题的推理.

　　（2）三段论的公理：一类事物的全部都具有（或不具有）某性质,那么这类事物中的部分也具有（或不具有）某性质.

　　（3）三段论的规则

　　①三段论有且只有三个项.

　　②中项至少周延一次

　　③前提中不周延的项,在结论也不得周延

　　④两个否定前提不能得结论.

　　⑤前提之一否定结论必否定

　　⑥两特前提不能得结论

　　⑦两特前提不能得结论.

　　⑧前提之一特称,结论必特称

　　（4）三段论的格及各格的规则

　　第一格：小肯大全第二格：一否大全

　　第三格；小肯结特一全第四格：一否大全,小全大肯,小肯结特,O命题不能作前提,A命题不能作结论.

　　（5）三段论的式

　　每格都有6个有效式.

　　4、关系命题推理

　　非对称和非传递关系都不能用来推理.

　　有效式：aRb,∴bRaaRb,∴bRa

　　aRb,bRc,∴aRcaRb,bRc,∴aRb

　　5、模态命题推理

　　根据对当关系口诀进行推理16条有效式（与性质命题对当关系有效式类似）

　　6、联言推理：

　　有效式：组合式P,q→p∧q

　　分解式P∧q→p(q)

　　7、选言推理

　　相容选言推理有效式：否定肯定式：（p∨q）q→p

　　不相容选言推理有效式：否定肯定式：(p∨q)q→p

　　肯定否定式(p∨q)∧q→p

　　8、假言推理

　　充分条件假言推理有效式：肯定前件式：(p→q)∧p→q

　　否定后件式：(p→q)∧q→p

　　必要条件假言推理有效式：肯定后件式：(p←q)∧q→p

　　否定前件式：(p←q)∧p→q

　　充要条件假言推理有效式：肯定前件式：(p——q)∧q→p

　　否定后件式：(p——q)∧q→p

　　肯定后件式：(p——q)∧q→p

　　否定前件式：(p——q)∧p→q

　　9、归纳推理：

　　（1）定义：是由关于个别（或特殊）性知识前提推出一般性知识的结论的推理.

　　（2）种类：完全归纳推理（结论必然）按思维进程,可分为演绎推理、归纳推理、类比推理、附性法推理等不完全归纳推理（结论或然）