随笔分类 -  离散数学

命题逻辑那些事 | 3. 等价式&永真蕴含式 (主要是后者)
发表于 2023-06-26 06:05阅读：1731评论：0推荐：2
摘要：命题逻辑那些事 | 3. 等价式&永真蕴含式 (主要是后者)#### 一、等价式 啥是等价式？要我说**带等价符号的就是等价式**。 比如说 A⇔B 就是个等价式 硬要说的复杂一点，就是等价式两边可以**互相推出，完全等价** 比如我说 A∨B⇔B∨A 阅读全文 »
posted @ 2023-06-26 06:05 IronRoc 阅读(1731) 评论(0) 推荐(2) 编辑
命题逻辑那些事 | 2. 主析(合)取范式
发表于 2023-05-28 03:58阅读：2594评论：0推荐：0
摘要：命题逻辑那些事 | 2. 主析(合)取范式一、必要概念 简单X取式 简单析取式、简单合取式，说白了就是不知道这个简单是个啥？ 简单就是有限 你可以说是公式的长度有限，或者公式包含的命题变项有限，反正就是有限 当然，还都得是析(合)取联结词 这个概念有啥用吗？大抵是没啥用罢。 X取范式 析取范式、合取范式，这个范，又从何说起？ 打个比方： \ 阅读全文 »
posted @ 2023-05-28 03:58 IronRoc 阅读(2594) 评论(0) 推荐(0) 编辑
命题逻辑那些事 | 1. 概念前摇
发表于 2023-05-21 18:33阅读：147评论：0推荐：0
摘要：命题逻辑那些事 | 1. 概念前摇#### 一、必要概念(**不懂不行的**nouns) ![](https://img2023.cnblogs.com/blog/2232396/202305/2232396-20230526211641157-1631221699.png) 以上是我在与一位朋友谈论起离散数学时的评价。 离散中的概 阅读全文 »
posted @ 2023-05-21 18:33 IronRoc 阅读(147) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示

喜欢请打赏

扫描二维码打赏

微信打赏

了解更多