逻辑学探幽
文章平均质量分 91
霧雨魔理沙
这个作者很懒,什么都没留下…
展开
-
逻辑学探幽 Part2
在本章节中, 我们将简要介绍自然演绎推理和一阶谓词逻辑. 本文假定读者已基本掌握命题逻辑, 并熟悉包括 `Truth` 和 `Falsium` 等在内的语义符号, 并了解逻辑学的基本概念.原创 2021-04-24 18:35:14 · 472 阅读 · 0 评论 -
逻辑学探幽 Part1
本章进一步探讨对逻辑表达式的简化方法, 引入逻辑表达式等价定义和正规化的概念.原创 2021-04-24 18:34:01 · 730 阅读 · 0 评论 -
逻辑学探幽 Part0
在本章中, 我们将引入最基本的逻辑系统: 命题逻辑, 简要介绍其基本概念, 并进一步地引入两种广泛应用于计算机科学领域的命题语义: 布尔语义和幂集语义.原创 2021-04-24 18:33:29 · 2126 阅读 · 0 评论