命题逻辑语言
0 评论关于命题逻辑语言的评论
命题逻辑语言 摘要 本笔记审查了命题逻辑语言作为一种元语言，用于从由两个符号组成的基础语言中获得有效…
形式演绎系统：定义与示例
0 评论关于形式演绎系统：定义与示例的评论
命题逻辑中的形式演绎系统 – 完整指南 命题逻辑中的形式演绎系统 摘要：在这节课中，我们将回顾形式演…
4种必不可少的推理技巧
0 评论关于4种必不可少的推理技巧的评论
学习 4 个必备的推理技巧 摘要：在这节课中，我们描述了 4 种命题逻辑的推理技巧，以丰富迄今为止展…
命题逻辑的5个对称性
0 评论关于命题逻辑的5个对称性的评论
命题逻辑的5个对称性 摘要：在这节课中，我们将探讨双重否定、假设三段论、蕴涵的逆否命题、推理定理以及…
经典逻辑技术演示
0 评论关于经典逻辑技术演示的评论
经典逻辑技术演示 摘要本课介绍了经典逻辑的几种技术，用于引入和消除合取和析取，以及排中律和矛盾律，也…
德摩根定律、分配律及其证明
0 评论关于德摩根定律、分配律及其证明的评论
德摩根定律、分配律及其证明 摘要在本课中，我们回顾了德摩根定律的合取与析取分配律的证明，这些定律在命…
命题逻辑的语义学
0 评论关于命题逻辑的语义学的评论
命题逻辑的语义学 摘要在本课程中，我们将学习命题逻辑的语义学，特别是表达式的真值分配以及如何通过逻辑…
语义后果与等价
0 评论关于语义后果与等价的评论
语义后果与等价 摘要在本课中，我们将研究命题逻辑中的语义后果与等价，这是对之前学习内容的自然延续。我…
命题逻辑的完备性和可靠性
0 评论关于命题逻辑的完备性和可靠性的评论
命题逻辑的完备性和可靠性 摘要本课程探讨了命题逻辑中完备性和可靠性之间的关系。尽管命题逻辑中的推理技…
归纳证明：德摩根定律与分配律的广义规则
0 评论关于归纳证明：德摩根定律与分配律的广义规则的评论
归纳证明：德摩根定律和分配律的广义规则 摘要本课程讨论了数学和命题逻辑中的归纳证明主题。我们解释了两…