考研推理公式主要涉及以下几种题型：
形式推理
直言判断：涉及单称和特称命题的关系。
联言判断：涉及多个命题同时成立的关系。
选言判断：涉及多个命题中至少有一个成立的关系。
假言判断：涉及条件命题，包括充分条件、必要条件和充要条件。
模态判断：涉及模态命题及其推理。
论证推理
结论型题目：根据前提推出结论。
解释型题目：解释现象或矛盾。
削弱型题目：找出能削弱论证的选项。
加强型题目：找出能加强论证的选项。
假设型题目：在论证中引入假设，判断其影响。
评价型题目：评价论证的有效性。
翻译推理
涉及逻辑关联词翻译和推理规则的应用，如假言翻译、直言翻译、推理规则、等价定理和二难推理。
真假推理
涉及矛盾关系、反对关系和充分条件关系的应用。
分析推理
题干给出主体和信息，需要找到主体与信息的对应关系，常用方法包括排除法、关键找到切入点（较大信息法、特殊信息法）等。
其他题型
条件推理：根据已知条件推断结论。
比较推理：对给定条件或信息进行比较，推导出正确的比较结果。
归纳推理：从特殊案例中归纳出一般规律。
排列推理：根据排列规则推断顺序或位置。
概率推理：根据概率规律和统计数据进行推断。
这些题型在考研逻辑推理中较为常见，掌握这些题型及其解题方法有助于提高应试能力。建议考生针对每种题型进行专项练习，以熟悉其特点和解题技巧。