推理规则 | 解释说明 |
---|---|
前提引入规则 | 可以在证明的任何时候引入前提 |
结论引入规则 | 在证明的任何时候,已证明的结论都可以作为后续证明的前提 |
置换规则 | 在证明的任何时候,命题公式中的任何子命题公式都可以用与之等价的命题公式置换 |
假言推理规则 | 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) |
离散数学:推理规则
最新推荐文章于 2025-02-04 19:52:39 发布