离散数学：推理规则

最新推荐文章于 2023-05-14 23:37:33 发布

小白小郑

最新推荐文章于 2023-05-14 23:37:33 发布

阅读量1.1w

点赞数 10

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

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

版权

离散数学专栏收录该内容

7 篇文章 0 订阅

订阅专栏

                    
                        
                    
                    推理规则解释说明
前提引入规则可以在证明的任何时候引入前提
结论引入规则在证明的任何时候，已证明的结论都可以作为后续证明的前提
置换规则在证明的任何时候，命题公式中的任何子命题公式都可以用与之等价的命题公式置换
假言推理规则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)