《不可能犯罪推理大赛》是每年一度的网络推理大赛，是目前网络上最为正规推理比赛。 (英语：Deductive reasoning）它是由普遍性的前提推出特殊性结论和推理。演绎推理有三段论、假言推理和选言推理等形式。归纳推理有以下几种类型：

1、完全归纳法

2、不完全归纳法

3、简单枚举法

4、科学归纳法

5、挈合法（求同法）

6、差异法（求异法）

7、共变法

8、剩余法

它是从特殊性前提推出特殊性结论的一种推理，也就是从一个对象的属性推出另一对象也可能具有这属性。