分类逻辑下的文章 - 童趣PBL

S1-5模态逻辑系统
- 逻辑
- root 发布于 296 天前
- gemini介绍下s1-5等模态逻辑系统S1-S5 模态逻辑系统介绍S1-S5 是五个经典的模态逻辑系统，它们在公理和推理规则上有所不同，导致了不同模态算子的表达能力和系统特性。以下是对这些系统的简要介绍：S1:公...
陈波逻辑学导论 2.6 广义模态逻辑：超越真假的逻辑世界
- 逻辑
- root 发布于 304 天前
- gemini：广义模态逻辑：超越真假的逻辑世界这段文章讨论了广义模态逻辑，它是命题逻辑的扩展，包含了“必然”、“可能”等模态词，以及相关的推理规则。文章主要内容如下：模态词的种类逻辑模态 vs. 非逻辑模态：逻辑模...
陈波逻辑学导论 2.5 命题逻辑的自然推理
- 逻辑
- root 发布于 304 天前
- gemini：第五节命题逻辑的自然推理总结这一节主要介绍了命题逻辑中形式推演的定义和规则系统 PN，并展示了如何利用 PN 进行推理和证明。关键点：形式推演：从给定前提利用推理规则得出结论的过程。 PN 推演...
陈波逻辑学导论 2.4 重言蕴涵式与重言等值式
- 逻辑
- root 发布于 316 天前
- 千问：第四节重言蕴涵式与重言等值式一、推理的形式结构与重言蕴涵式重言蕴涵式是表示推理形式的有效性的逻辑表达式。一个推理由前提和结论两部分组成，若推理形式有效，则前提真时结论必真，两者间存在蕴涵关系。有效的推理形式...
陈波逻辑学导论 2.2 真值联结词真值形式
- 逻辑
- root 发布于 317 天前
- 千问：第二节真值联结词真值形式一、从日常联结词到真值联结词命题逻辑关注点：在命题逻辑中，简单命题的具体内容并不重要，关键在于复合命题的逻辑性质以及由这些性质决定的复合命题与支命题间、复合命题相互间的逻辑关系，这...
陈波逻辑学导论 2.1日常联结词和复合命题
- 逻辑
- root 发布于 317 天前
- 千问：第一节　日常联结词和复合命题一、简单命题和复合命题简单命题定义：无法进一步分析为其他命题，又名“原子命题”。示例：香山枫叶正红。诸葛亮舌战群儒。掷骰子4点朝上的概率是1/6。复合命题定义：包含其他命题并通过联...
陈波逻辑学导论 1.4逻辑基本规律
- 逻辑
- root 发布于 317 天前
- 千问：第四节　逻辑基本规律摘要逻辑学并非仅限于琐碎的技术性集合，而是蕴含着对真理、明晰性、精确性以及可重复、可检验程序的执着追求，体现了理性精神的运用和西方文化精髓。逻辑基本规律——同一律、矛盾律、排中律，以及莱布...