离散数学:推理规则

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值