类别存档。数理逻辑

命题逻辑语言 摘要 本笔记审查了命题逻辑语言作为一种元语言，用于从由两个符号组成的基础语言中获得有效...

命题逻辑中的形式演绎系统 - 完整指南 命题逻辑中的形式演绎系统 摘要：在这节课中，我们将回顾形式演...

学习 4 个必备的推理技巧 摘要：在这节课中，我们描述了 4 种命题逻辑的推理技巧，以丰富迄今为止展...

命题逻辑的5个对称性 摘要：在这节课中，我们将探讨双重否定、假设三段论、蕴涵的逆否命题、推理定理以及...

经典逻辑技术演示 摘要本课介绍了经典逻辑的几种技术，用于引入和消除合取和析取，以及排中律和矛盾律，也...

德摩根定律、分配律及其证明 摘要在本课中，我们回顾了德摩根定律的合取与析取分配律的证明，这些定律在命...

命题逻辑的语义学 摘要在本课程中，我们将学习命题逻辑的语义学，特别是表达式的真值分配以及如何通过逻辑...

语义后果与等价 摘要在本课中，我们将研究命题逻辑中的语义后果与等价，这是对之前学习内容的自然延续。我...

命题逻辑的完备性和可靠性 摘要本课程探讨了命题逻辑中完备性和可靠性之间的关系。尽管命题逻辑中的推理技...

归纳证明：德摩根定律和分配律的广义规则 摘要本课程讨论了数学和命题逻辑中的归纳证明主题。我们解释了两...