当前位置: 首页 > news >正文

(管综逻辑) 第一章核心总结: 一篇真正讲透联言、选言、假言与命题转换

很多人学管综逻辑时:

总感觉:

  • 联言命题一会儿“且”
  • 选言命题一会儿“或”
  • 假言命题又是箭头
  • 还有逆否、德摩根、不相容选言……

最后越学越乱。

但实际上:

管综命题逻辑真正的核心,

本质只有三件事:

德摩根

箭头公式

逆否

一旦这三块打通,

后面的联言、选言、条件推理其实都会串起来。

今天我们就从底层结构,

真正讲透:

管综逻辑第一章。


一、联言命题(且)

形式:

P∧Q

意思:

P 和 Q 同时成立。

例如:

小王会英语并且会法语。


联言核心性质

P∧Q⇒P

P∧Q⇒Q

口诀:

整体真 ⇒ 部分真

即:

如果:

“会英语并且会法语”为真,

那么:

“会英语”一定真。


二、选言命题(或)

形式:

P∨Q

意思:

至少一个真。

注意:

普通“或”是:

相容选言

即:

两个可以同时真。


例如:

小王考研或考公。

可能:

  • 只考研
  • 只考公
  • 两个都准备

都成立。


选言核心推理

P∨Q

¬P

推出:

Q

口诀:

否一推一


但:

P∨Q

P

不能推出:

¬Q

因为:

Q 也可能真。


三、不相容选言(异或)

形式:

P⊕Q

意思:

有且只有一个真

即:

  • 不能同时真
  • 不能同时假

例如:

要么考研,要么工作。

通常表示:

只能选一个。


不相容选言核心公式

第一种写法

P⊕Q=(¬P∧Q)∨(P∧¬Q)

即:

  • P假Q真
    或者
  • P真Q假

第二种写法(高频)

P⊕Q=(P∨Q) ∧ ¬(P∧Q)

理解:

先:

P∨Q

表示:

至少一个真。

再:

¬(P∧Q)

表示:

不能同时真。

合起来:

有且只有一个真。


不相容选言核心推理

肯一否一

P⊕Q

P

推出:

¬Q


否一肯一

P⊕Q

¬P

推出:

Q


四、假言命题(箭头)

形式:

P→Q

意思:

如果 P,那么 Q。

例如:

如果下雨,那么地湿。


假言核心公式(最重要)

P→Q=¬P∨Q

口诀:

前否后留变成或

即:

  • 前面取反
  • 后面保留
  • 箭头变“∨”

反向也成立

¬P∨Q⇒P→Q

口诀:

前否变箭头


五、为什么箭头能变“或”?

因为:

P→Q

只有一种情况是假:

PQP→Q

即:

前真后假

不允许。

所以:

P→Q=¬(P∧¬Q)

再用德摩根:

=¬P∨Q


六、德摩根律(核心中的核心)

1. 联言否定

¬(P∧Q)=¬P∨¬Q

口诀:

且变或,全体取反


2. 选言否定

¬(P∨Q)=¬P∧¬Q

口诀:

或变且,全体取反


七、逆否(超高频)

核心公式:

P→Q=¬Q→¬P

口诀:

两边取反再交换


例如:

下雨→地湿

等价于:

地不湿→没下雨


八、第一章真正的底层逻辑

很多复杂题,

本质都只是:


第一步

德摩根拆括号。


第二步

变箭头。


第三步

做逆否。


例如:

看到:

¬(A∧B)

第一步:

⇒¬A∨¬B

第二步:

⇒A→¬B

第三步:

⇒B→¬A


九、中文关键词与逻辑关系对应

中文逻辑
并且
要么要么
如果
至少
至多¬(∧)
恰好一个
只有……才……后推前
除非否后推前

十、最容易错的几个点

1. “只有A才B”

不是:

A→B

而是:

B→A

因为:

A 是必要条件。


2. 普通“或”不是异或

P∨Q

不代表只能一个真。


3. 只有:

¬A∨B

才能直接变箭头:

A→B


十一、最终总结

管综逻辑第一章,

真正核心只有三件事:


德摩根

负责:

拆否定


箭头公式

负责:

条件转换


逆否

负责:

反向推理


很多复杂题,

本质只是:

拆括号 → 变箭头 → 做逆否

循环而已。

一旦这套结构打通,

后面条件推理会轻松很多。

http://www.jsqmd.com/news/885197/

相关文章:

  • 终极指南:如何快速上手BLIP视觉语言模型实现多模态AI应用
  • 25届脚本一键启动
  • 安徽消防管网漏水检测技术拆解与靠谱服务商甄选指南 - 奔跑123
  • 想从0开始搭Agent,实在这套课程适不适合新手?
  • LLCOM深度解析:串口监听、TCP/UDP测试、MQTT调试一站式解决方案
  • 企业认证与安全体系(三):一篇讲透 JWT 原理与企业级实践
  • 使用Python和OpenAI官方风格SDK接入Taotoken的完整步骤指南
  • 数据库wal日志不自动清理
  • 终极免费歌词同步工具:如何快速为本地音乐库批量下载LRC歌词
  • 保姆级教程:用Robotics Toolbox的SerialLink.plot让你的机器人模型动起来(附完整配置清单)
  • 安徽小区地下自来水管道漏水点检测技术解析与服务商甄选 - 奔跑123
  • nnAudio部署指南:跨平台兼容性与生产环境最佳实践
  • Pearcleaner终极指南:如何彻底清理Mac应用残留,释放宝贵存储空间
  • AutoDock Vina完整指南:免费开源分子对接软件的快速入门教程
  • 创业团队利用taotoken在多模型间选型以优化产品ai功能成本
  • 全国招投标信息网站排行:主流平台维度深度对比 - 互联网科技品牌测评
  • forever-monitor实战案例:构建高可用Node.js应用的终极方案
  • 2026深圳市宠物玩具微型电机厂家选型推荐:核心品牌深度解析 - 速递信息
  • 百考通AI:开题报告智能生成,彻底解决各环节的创作难题
  • 工作性价比计算器终极指南:如何科学评估你的工作真实价值
  • 开发管理工具打不开No way to find ori gi nal streamhand er for jar protocol
  • 【Claude AI战略解码】:PEST四大维度深度拆解,20年AI咨询专家亲授商业落地关键洞察
  • nnAudio的未来发展:路线图、新功能与社区展望
  • 2026年5月浙江直流屏/交直流一体化电源/不间断电源/消防应急电源/eps应急电源厂家哪家好,认准温州平源电气有限公司 - 2026年企业推荐榜
  • 2026年一体式卫生间厂家行业发展与品质之选 - 品牌排行榜
  • 百度文库文档免费获取终极指南:简单三步实现纯净打印
  • DVWA搭建失败原因解析:页面空白、模块禁用与SQLi不响应的根因定位
  • 如何快速掌握JavaScript异步编程:Async-JavaScript-Cheatsheet项目完全解析
  • Aeroscapes:3269张无人机语义分割数据集的终极使用指南
  • 如何用eSpeak NG实现127种语言的免费文本转语音?终极指南