《不可能犯罪推理大赛》是每年一度的网络推理大赛，是目前网络上最为正规推理比赛。 (英语：Deductive reasoning）它是由普遍性的前提推出特殊性结论和推理。演绎推理有三段论、假言推理和选言推理等形式。归纳推理有以下几种类型：
1、完全归纳法
2、不完全归纳法
3、简单枚举法
4、科学归纳法
5、挈合法（求同法）
6、差异法（求异法）
7、共变法
8、剩余法
它是从特殊性前提推出特殊性结论的一种推理，也就是从一个对象的属性推出另一对象也可能具有这属性。
