第一部分数理逻辑第三章命题逻辑的推理理论

最新推荐文章于 2022-08-13 17:32:59 发布

superloi

最新推荐文章于 2022-08-13 17:32:59 发布

阅读量1.9k

点赞数 1

文章标签：数理逻辑命题逻辑推理

本文链接：https://blog.csdn.net/superloi/article/details/42583741

版权

本文深入探讨了数理逻辑中的命题逻辑推理理论，详细阐述了这一领域的基本概念和推理规则，旨在为读者提供一个清晰的理解框架。

摘要由CSDN通过智能技术生成

Chapter Three - 命题逻辑的推理理论
1 - 要点
推理
证明
推理的形式结构的符号化形式：A₁∧A₂∧…∧A_k→B（*）如果（*）是重言式，则称推理是有效的，或称推理是正确的；如果（*）不是重言式，则称推理是无效的，或称推理是错误的；如果推理是正确地，记（*）为如下形式：A₁∧A₂∧…∧A_k⇒B（**）
判断推理是否争取的方法：
（1）真值表法
（2）等值演算法
（3）主析取范式法
推理定律（重言蕴涵式）
9条重要的推理定理：
（1）附加律A⇒（A∨B）
（2）化简律（A∧B）⇒A
（3）假言推理（A→B）∧A⇒B
（4）拒取式（A→B）∧¬B