推理的逻辑形式主要包括以下几种：

演绎推理

三段论：由两个前提和一个结论组成的推理形式，通常包含大前提、小前提和结论。

假言推理：如果P，则Q。已知P，推出Q。

选言推理：P或Q。已知非P，推出Q。

关系推理：基于事物间的关系进行推理。

归纳推理

简单枚举：通过观察特定案例，归纳出一般规律。

科学归纳：基于科学实验和观察，归纳出一般规律。

类比推理

通过比较两个或多个对象在某些属性上的相似性，推断它们在其他属性上也相似。

反证法

假设某个命题的否定结论成立，然后推导出矛盾，从而证明原命题成立。

以上是逻辑推理中常见的几种形式。演绎推理强调从一般到特殊的推理过程，而归纳推理则是从特殊到一般的推理过程。类比推理则是基于相似性进行的推理。每种推理形式都有其特定的应用场景和规则