形式逻辑的推理形式主要有三种：

一、归纳推理

2.不完全归纳：简单枚举和科学归纳

二、演绎推理

2.模态推理：模态对当关系推理；模态判断与非模态判断的推理

三、类比推理