ch1-2 数理逻辑

形式语义 数理逻辑
Formal Semantics
专栏索引 专栏目录 / Formal Semantics / 章节页
Publish Date:   2026-01-21
Word Count:   67

ch1-2 数理逻辑

这两章是在复习之前学习的离散数学的数理逻辑，个人觉得对后续新知识的学习影响不大。就当作头脑逻辑复健吧。

👉 点击这里阅读下一篇：《ch3 集合论》

Author: linda1729
Link: https://linda1729-blog.netlify.app/posts/2026-01-21-formal-semantics-ch1-2-logic/
Reprint policy: All articles in this blog are used except for special statements CC BY 4.0 reprint policy. If reproduced, please indicate source linda1729 !
形式语义 数理逻辑
赏
评论
  TOC