离散数学：推理规则

最新推荐文章于 2024-01-19 19:04:32 发布

小白小郑

最新推荐文章于 2024-01-19 19:04:32 发布

阅读量1.2w

点赞数 10

分类专栏：离散数学文章标签：离散数学

本文链接：https://blog.csdn.net/Zhengyangxinn/article/details/122881867

版权

离散数学专栏收录该内容

7 篇文章 1 订阅

订阅专栏

这篇博客深入探讨了逻辑推理中的核心规则，包括前提引入、结论引入、置换、假言推理、附加、化简、拒收式、假言三段论、析取三段论和构造性二难等规则。这些规则在证明和逻辑分析中起着至关重要的作用，是理解形式逻辑系统的基础。

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

                    
                        
                    
                    推理规则解释说明
前提引入规则可以在证明的任何时候引入前提
结论引入规则在证明的任何时候，已证明的结论都可以作为后续证明的前提
置换规则在证明的任何时候，命题公式中的任何子命题公式都可以用与之等价的命题公式置换
假言推理规则P ∧ (P→Q) ⇒ Q
附加规则P ⇒ P∨Q
化简规则P ∧ Q ⇒ P
拒收式规则¬Q∧(P→Q) ⇒ ¬P
假言三段论规则(P→Q)∧(Q→R) ⇒ P→R
析取三段论规则¬P∧(P∨Q) ⇒ Q
构造性二难规则(P∨Q)∧(P→R)∧(Q→S) ⇒ (S∨R)

                

推理规则	解释说明
前提引入规则	可以在证明的任何时候引入前提
结论引入规则	在证明的任何时候，已证明的结论都可以作为后续证明的前提
置换规则	在证明的任何时候，命题公式中的任何子命题公式都可以用与之等价的命题公式置换
假言推理规则	P ∧ (P→Q) ⇒ Q
附加规则	P ⇒ P∨Q
化简规则	P ∧ Q ⇒ P
拒收式规则	¬Q∧(P→Q) ⇒ ¬P
假言三段论规则	(P→Q)∧(Q→R) ⇒ P→R
析取三段论规则	¬P∧(P∨Q) ⇒ Q
构造性二难规则	(P∨Q)∧(P→R)∧(Q→S) ⇒ (S∨R)