考研形式逻辑主要包括以下几种：

联言命题 ：表示P且Q，记作P∧Q，其中P和Q是联言肢。

选言命题 ：表示P或Q，记作P∨Q，其中P和Q是选言肢。

直言命题 ：断定事物是否具有某种性质，由主项、谓项、联项、量项四部分构成。

假言命题 ：表示P是Q的条件，记作P￫Q，其中P是前件，Q是后件。假言命题可分为充分条件假言命题（P￫Q）、必要条件假言命题（Q￫P）和充要条件假言命题（P↔Q）。

三段论 ：由两个前提和一个结论组成的推理形式，通常包括大前提、小前提和结论。

此外，形式逻辑还涉及以下方面：

命题逻辑 ：关注推理的结构和规则，包括上述的联言命题、选言命题、直言命题和假言命题等基本逻辑关系的理解和应用。

谓词逻辑 ：涉及更复杂的逻辑结构和推理规则，通常用于更高级的逻辑分析和证明。

对当关系 ：包括矛盾、反对、从属等关系，用于分析直言命题之间的关系。

推理规则 ：如传递原则、对当关系图等，用于推导新的命题或结论。

掌握这些基本概念和规则对于考研形式逻辑的备考至关重要。建议考生通过大量练习来熟悉题型和解题方法，并注意时间控制，提高解题速度。同时，整理笔记和真题训练也是提高逻辑推理能力的重要环节。