推理的专业术语有很多，以下是一些常见的：

1. 归纳推理（Inductive Reasoning）：基于特定的例子和事实，推断出一般的规律。

2. 演绎推理（Deductive Reasoning）：基于一系列已知的前提，通过逻辑推演得出结论。

3. 反证法（Proof by Contradiction）：假设所示结论为假，从而推导出一个与事实矛盾的结果，从而证明所示结论为真。

4. 消解（Resolution）：通过将目标命题和已知命题转化为逻辑公式，然后使用逻辑规则逐步简化公式，最终得出结论。

5. 逆否命题（contrapositive）: 将命题的逆否形式转化为原命题，从而判断原命题的真假性。

6. 搜素推理（Abduction）：基于已知的事实和推断，得出一个合理的假设，然后再通过验证来确定假设是否成立。