演绎推理的几种形式
本文参考自百度百科https://baike.baidu.com/item/%E6%BC%94%E7%BB%8E%E6%8E%A8%E7%90%862016-08-26。
一、三段论。一般原理+（所研究的）特殊情况->特殊情况的原理基于特殊情况和一般原理的共同点，利用一般原理推导出特殊情况的性质。例如：知识分子都是应该受到尊重的，人民教师都是知识分子，所以，人民教师都是应该受到尊重的。
二、假言推理。有基于充分条件和基于必要条件的。命题：充分条件演绎推理。->逆否命题->结论命题：必要条件演绎推理。->逆命题/否命题->结论
这是基于充分条件的命题和逆否命题等价，必要条件的命题和否命题、逆命题等价来得出结论。
三、选言推理。选言推理是以选言判断为前提的推理。选言推理分为相容的选言推理和不相容的选言推理两种。
1.相容的选言推理的基本原则是：大前提是一个相容的选言判断，小前提否定了其中一个（或一部分）选言支，结论就要肯定剩下的一个选言支。例如：这个三段论的错误，或者是前提不正确，或者是推理不符合规则；这个三段论的前提是正确的，所以，这个三段论的错误是推理不符合规则。
2.不相容的选言推理的基本原则是：大前提是个不相容的选言判断，小前提肯定其中的一个选言支，结论则否定其它选言支；小前提否定除其中一个以外的选言支，结论则肯定剩下的那个选言支。例如：一个词，要么是褒义的、要么是贬义的，要么是中性的。“结果”是个中性词，所以，“结果”不是褒义词，也不是贬义词。
这些和OI关系其实不大。