-
管综形式逻辑公式汇总！搞定所有翻译、推理、易错陷阱
-
管综逻辑 · 必背公式
管综形式逻辑公式汇总（完整版）
搞定所有翻译、推理、易错陷阱，读题即翻译、秒推答案
✦ ✦ ✦
刷题无数，遇到变形题干依旧卡顿、正确率不稳定？
核心问题只有一个：没吃透题型本质，只会死记公式，不会灵活套用。
形式逻辑是逻辑科目性价比最高、最容易满分的模块——所有考题都有固定解题套路、标准破题步骤，无主观脑洞。
本文全新整理：管综形式逻辑高频必考题型 + 标准解题模板 + 真题变式，覆盖 99% 考场题型。告别盲目刷题，直接实现“读题即翻译、秒推答案”！
全题型分类、全步骤拆解、全陷阱标注，备考逻辑的同学直接收藏，冲刺满分专用！
本篇速览（共 11 大模块，建议收藏逐一复盘）：
◆ 核心解题逻辑（翻译 → 推理 两步法）
◆ 概念与定义（基础必背）
◆ 直言命题（所有/有的/某个）
◆ 直言三段论（必考推理）
◆ 模态命题（必然/可能）
◆ 关系命题（对称/传递）
◆ 联言命题（且）
◆ 选言命题（或/要么）
◆ 假言命题（高频必考）
◆ 逻辑运算定律
◆ 等价变换总表（直接秒杀）
一、形式逻辑 · 核心解题逻辑
所有形式逻辑题，统一两步解题，无例外：
✅ 翻译：文字句式 → 标准逻辑公式
✅ 推理：套用固定规则、真假关系、等价变换做题
完整考点体系：概念与定义 → 简单命题 → 三段论 → 模态/关系命题 → 复言命题 → 综合推理
二、概念与定义（基础必背）
概念内涵与外延
内涵：反映对象的本质属性（是什么）
外延：具备该本质属性的事物范围（有哪些）
定义规则与逻辑谬误（高频单选）
定义规则 逻辑谬误 例句 定义项不得直接包含被定义项 同语反复 老人就是年龄很老的人 定义项不得间接包含被定义项 循环定义 爸爸是爷爷的儿子，爷爷是爸爸的爸爸 定义项与被定义项外延完全相当 定义过宽/过窄 鱼是有尾巴的生物（过宽）；鱼就是鲤鱼（过窄） 定义不能含混、不能用比喻 定义含混 南方就是广东那一片 定义不当是否定形式 否定定义 黑色就是不是白色的颜色 六大概念分类 + 辨析
概念类型 定义 示例 正概念 具有某种属性的概念 黑、优秀 负概念 不具有某种属性的概念 不黑、不优秀 单独概念 反映单个对象 长城、张三 普遍概念 反映一类对象 学生、企业 集合概念 反映整体属性，个体不具备整体特征 团队、班级 非集合概念 每个个体均具备该属性 学生、考生 集合/非集合秒杀辨析：句首加“每一个”，句意不变为非集合，句意改变为集合。 两大谬误：分解谬误（整体推个体）、合成谬误（个体推整体）
概念划分规则
划分规则 逻辑谬误 示例 标准统一 标准不一 小学生、初中生、女学生 层级一致 不当并列 高中生、初中生、三年级学生 子项不重 子项相容 K12包含高中、初中、小学、奥赛 子项不漏 划分不全 K12只包含高中、初中 无多余子项 多出子项 K12包含高校教育 概念间 5 大关系
全同关系：外延完全重合（老婆 = 太太）
种属关系：包含关系（水果包含橘子）
交叉关系：部分重合（明星∩女人）
矛盾关系：无重合、外延之和 = 全集（非黑 = 白）
反对关系：无重合、外延之和 ≠ 全集（老人、小孩）
✦ ✦ ✦
三、直言命题（所有/有的/某个）完整版
六种基础句式
命题类型 标准公式 示例 全称肯定 所有A是B（A→B） 所有努力的人都有收获 全称否定 所有A不是B（A→¬B） 所有捷径都不可靠 特称肯定 有的A是B 有些考生一战上岸 特称否定 有的A不是B 有些题目不难 单称肯定 某个A是B 这道题是送分题 单称否定 某个A不是B 这个方法不适用 对当关系 & 真假特性
关系类型 对应命题 真假特性 矛盾关系 所有是↔有的非；所有非↔有的是；某个是↔某个非 一真一假，必一真一假 上反对关系 所有是↔所有非 可同假、不可同真、必有一假 下反对关系 有的是↔有的非 可同真、不可同假、必有一真 推出关系 所有→某个→有的 只能上推下，不可反向推导 换位 & 负判断规则
换位规则 负判断转换 1. 有的A是B = 有的B是A
2. 所有A不是B = 所有B不是A
3. 所有A是B ⇒ 有的B是A（不可逆）
4. 有的A不是B 不可换位并非+命题：所有↔有的互换、是↔非互换 真假话解题标准步骤
一找、二绕、三回
一找：找矛盾/反对关系，锁定真假范围
二绕：绕开关系，确定剩余命题真假
三回：代入已知事实，判定关系命题真假
四、直言三段论（必考推理）
四种标准形式
✅ 所有A是B，所有B是C → 所有A是C
✅ 有些A是B，所有B是C → 有些A是C
✅ 所有A是B，所有B不是C → 所有A不是C
✅ 有些A是B，所有B不是C → 有些A不是C
三段论互换核心规则
✅ 可互换：有的A是B = 有的B是A ／ 所有A不是B = 所有B不是A
❌ 不可互换：所有A是B ≠ 所有B是A ／ 有的A不是B ≠ 有的B不是A
✦ ✦ ✦
五、模态命题（必然/可能）完整版
核心口诀：否定跨越、模态互换、肯否互换 原命题 等价命题 不必然 可能不 不可能 必然不 不必然不 可能 不可能不 必然 推理层级：必然 → 事实 → 可能，仅上推下，不可反向
直模混合转换：否定词后置，同步替换【必然/可能、所有/有的、是/非】
六、关系命题
对称性关系
对称：A对B成立、B对A也成立（相等、相邻）
反对称：A对B成立、B对A一定不成立（大于、优先）
非对称：A对B成立、B对A不确定（喜欢、认识）
传递性关系
传递：A→B、B→C，则A→C（大于、等于）
反传递：A→B、B→C，则A一定不→C（父子关系）
非传递：A→B、B→C，A→C不确定（认识、熟悉）
七、联言命题（且）最全公式表
核心定义：多个条件同时成立 项目 详细内容 标准形式 A ∧ B（A且B） 常见关联词 并列：既…又…；递进：不但…而且…；转折：虽然…但是… 真假判定 全真才真，一假即假 矛盾命题 ¬(A∧B) = ¬A ∨ ¬B 秒杀口诀 且的矛盾变或，前后两项全取反
八、选言命题（或/要么）最全公式表
相容选言命题（可同时成立）
项目 详细内容 标准形式 A ∨ B（A或B） 关联词 或者…或者…、至少一个 真假判定 一真则真，全假才假 核心推理规则 否一推一：¬A→B、¬B→A；肯一推不出任何结论 矛盾命题 ¬(A∨B) = ¬A ∧ ¬B 秒杀口诀 或的矛盾变且，前后两项全取反 不相容选言命题（二选一，不可共存）
项目 详细内容 标准形式 A⊕B（要么A，要么B） 关联词 要么…要么…、二者必居其一 真假判定 一真一假为真，全真/全假均为假 推理规则 否一推一、肯一推一（双向可推） 矛盾命题 要么A要么B 的矛盾 = (A且B)∨(¬A且¬B)
九、假言命题（高频必考）完整版公式表
假言命题是形式逻辑考题最多、最易踩坑模块，所有句式统一标准化翻译！ 三大假言句式翻译规则
命题类型 逻辑公式 对应关联词 充分条件（前推后） A→B 如果…就…、只要…就…、一旦…就…、必然、一定 必要条件（后推前） B→A 只有…才…、…是…前提/基础、除非…才…、不…不… 除非专属句式 除非A，否则B = ¬A→BA，否则B = ¬A→B 除非、否则 充要条件 A↔B 当且仅当、唯一条件 假言核心等价 & 矛盾规则
核心考点 公式规则 备注 等价命题（必考） A→B = ¬B→¬A（逆否等价） 唯一等价，其余全错 矛盾命题 ¬(A→B) = A ∧ ¬B 条件成立、结果不成立 连锁推理 A→B，B→C ⇒ A→C 可无限连锁推导 假言换选言 A→B = ¬A ∨ B 高频换算公式 二难推理（综合推理必考）
✅ A→B，¬A→B ⇒ B恒真
✅ A→B，A→¬B ⇒ ¬A恒真
✅ A∨B，A→C，B→D ⇒ C∨D
✅ A∧B，A→C，B→D ⇒ C∧D
✦ ✦ ✦
十、逻辑运算定律（结合/分配）
运算定律 公式 结合律 (A∨B)∨C = A∨B∨C ／ (A∧B)∧C = A∧B∧C 分配律 (A∧B)∨C = (A∨C)∧(B∨C)
(A∨B)∧C = (A∧C)∨(B∧C)联选推结论 A∨B→C ⇒ A→C 且 B→C
A→B∧C ⇒ A→B 且 A→C
十一、形式逻辑等价变换总表（直接秒杀）
序号 高频等价公式 1 A→B = ¬B→¬A（逆否等价） 2 A→B = ¬A∨B（假言换选言） 3 ¬(A∧B) = ¬A∨¬B 4 ¬(A∨B) = ¬A∧¬B 5 除非A否则B = ¬A→B 6 越A越B = A→B 7 A是B的前提/基础 = B→A ✦ ✦ ✦
形式逻辑没有难题，只有不熟的公式和不规范的翻译。
本次汇总 100% 对标内部教材完整版体系，从概念定义、简单命题、三段论、模态关系命题，到复言命题、二难推理、逻辑运算全覆盖，无知识点遗漏。
管综逻辑想要稳拿满分，不需要刷海量题，只需要把这套全表格公式体系吃透。建议大家收藏+保存，每天 10 分钟复盘一遍公式，一周彻底搞定形式逻辑，考试直接套表秒杀！✈️ 品逸华章，深耕管综联考多年，吃透考情考点、精研解题体系，帮每一位备考者高效破局、少走弯路！
专注名校 MBA/管理类联考精品辅导，不止助力稳稳上岸，更带你构建终身受用的商科思维！
-
在线预约 | 免费听课推荐阅读 -
关闭
