类别存档。数学

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

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

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

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

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

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

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

自然数与Peano公理 自然数与Peano公理 摘要 这节课讲述了自然数以及它们是如何通过Peano...

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

确定性与非确定性过程、概率与偶然性 摘要在这个概率论入门课程中，我们将探索确定性和非确定性过程之间的...