考研中常用的推理公式可以分为以下几类：

或的公式

p或q，非p，所以q

p或q，非q，所以p

非p或非q，p，所以非q

如果p则q的公式

肯定前件（p推出q）

否定后件（非q推出非p）

矛盾公式

所有与有的

可能与必然

且与或

如果p则q与p且非q

要么p，要么q与（p且q）或（非p且非q）

命题及其否命题（矛盾命题）

并非“所有S都是P” = 有些S不是P

并非“所有S都不是P” = 有些S是P

并非“P且Q” = 非P或非Q