按思维进程：可分为
演绎推理、归纳推理、
类比推理、附性法推理等）
1、对当关系推理：有效式16条
SAP→SIP SAP→┐ SEP SAP → ┐SOP
SEP → SOP SEP →┐SAP SEP→┐SIP
┐SIP→┐SAP ┐SIP→SEP ┐SIP→ SOP
┐SOP→┐SEP ┐ SOP→ SAP ┐SOP→SIP
┐SAP→ SOP ┐SEP→ SIP SIP→┐SEP SOP→┐SAP
2、命题变形推理
换质法
（1）规则：改变命题的质,谓项变成前提中的矛盾概念.
（2）有效式：
SAP→SE P SEP→ SAP SIP→ SOP SOP→ SIP
换位法
（1）规则：调换主谓项的位置,前提中不
周延的项,在结论中也不得周延.
（2）有效式：SAP→ PIS SEP→ PES SIP→ PIS
戾换法
规则：换位时遵守换位的规则,换质时遵守换质的规则.
有效式：6条.
3、
三段论 （1）定义：由两个包含着共同项的性质命题推出一个新的性质命题的推理.
（2）三段论的公理：一类事物的全部都具有（或不具有）某性质,那么这类事物中的部分也具有（或不具有）某性质.
（3）三段论的规则
①三段论有且只有三个项.
②中项至少周延一次
③前提中不周延的项,在结论也不得周延
④两个否定前提不能得结论.
⑤前提之一否定结论必否定
⑥两特前提不能得结论
⑦两特前提不能得结论.
⑧前提之一特称,结论必特称
（4）三段论的格及各格的规则
第一格：小肯大全 第二格：一否大全
第三格；小肯结特一全 第四格：一否大全,小全大肯,小肯结特,O命题不能作前提,A命题不能作结论.
（5）三段论的式
每格都有6个有效式.
4、关系命题推理
非对称和非传递关系都不能用来推理.
有效式：aRb,∴bRa aRb,∴bRa
aRb,bRc,∴aRc aRb,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）种类：完全归纳推理（结论必然）按思维进程,可分为演绎推理、归纳推理、类比推理、附性法推理等不完全归纳推理（结论或然）