形式逻辑的公式主要分为直言命题、性质判断、假言命题、联言命题、选言命题和模态命题等几类。以下是一些常见的形式逻辑公式：
直言命题
全称肯定命题（SAP）：所有S都是P
全称否定命题（SEP）：所有S都不是P
特称肯定命题（SIP）：有些S是P
特称否定命题（SOP）：有些S不是P
单称肯定命题（SAPr）：某个S是P
单称否定命题（SEPr）：某个S不是P
性质判断
所有（都、一切、凡是、任何、每个）
有的（有些/一些）
某个
假言命题
充分条件假言命题（P → Q）：如果P，那么Q
必要条件假言命题（P ↔ Q）：只有P，才Q
充要条件假言命题（P ↔ Q）：P当且仅当Q
联言命题
p ∧ q：p且q
选言命题
相容选言命题（p ∨ q）：p或q
不相容选言命题（p ∨ q）：p或q（两者不能同时为真）
矛盾关系
A ∧ O（全称肯定命题与特称否定命题）
E ∧ I（全称否定命题与特称肯定命题）
a ∧ e（单称肯定命题与单称否定命题）
反对关系
A ∧ E（全称肯定命题与全称否定命题）
I ∧ O（特称肯定命题与特称否定命题）
下反对关系
I ∧ O（特称肯定命题与特称否定命题）
从属关系
A → a（全称肯定命题蕴含单称肯定命题）
E → e（全称否定命题蕴含单称否定命题）
德摩根公式
¬（A ∧ B） 等价于 ¬A ∨ ¬B
¬（A ∨ B） 等价于 ¬A ∧ ¬B
¬（A → B） 等价于 A ∧ ¬B
¬（A ↔ B） 等价于 （A ∧ ¬B） ∨ （¬A ∧ B）
这些公式是形式逻辑中的基础，掌握它们有助于更好地理解和分析逻辑推理过程。建议在复习考研逻辑时，反复练习这些公式的应用，以提高解题能力。