按思维进程：可分为演绎推理、归纳推理、类比推理、附性法推理等）对当关系推理：有效式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→┐SAP2、命题变形推理换质法（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,∴aRb5、模态命题推理根据对当关系口诀进行推理16条有效式（与性质命题对当关系有效式类似）6、联言推理：有效式：组合式P，q→p∧ q 分解式P∧q→p(q)7、选言推理相容选言推理有效式：否定肯定式：（p∨q）q→p不相容选言推理有效式：否定肯定式：(p∨q)q→p 肯定否定式(p∨q)∧q→p8、假言推理充分条件假言推理有效式：肯定前件式：(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→q9、归纳推理：（1）定义：是由关于个别（或特殊）性知识前提推出一般性知识的结论的推理。

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