考研形式逻辑中常见的公式包括：
1. 全称肯定命题：所有A都是B（符号表示为：∀x∈A，B(x)）。
2. 全称否定命题：所有A都不是B（符号表示为：∀x∈A，¬B(x)）。
3. 特称肯定命题：有的A是B（符号表示为：∃x∈A，B(x)）。
4. 特称否定命题：有的A不是B（符号表示为：∃x∈A，¬B(x)）。
5. 换位推理：如果A是B，那么B是A（符号表示为：若A→B，则B→A）。
6. 逆否推理：如果A则B的逆否命题是：非B则非A（符号表示为：若A→B，则¬B→¬A）。
7. 三段论推理：由两个前提推出结论的推理，如：所有M都是P，所有S都是M，所以所有S都是P（符号表示为：若A→B，B→C，则A→C）。
微信小程序：【考研刷题通】，涵盖政治、英语、数学等考研科目刷题，助你高效备考，轻松应对考试。立即下载，开启你的考研刷题之旅！