推理的比赛

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

1. 完全归纳法

2. 不完全归纳法

3. 简单枚举法

4. 科学归纳法

5. 挈合法（求同法）

6. 差异法（求异法）

7. 共变法

8. 剩余法

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