黄荣彬
间接证明的形式
2022-11-25 10:51
阅读:2927

间接证明(Indirect Proof)的形式

下列规则属于自然演绎推理系统的规则。

图片.png

图片.png

①    A              AIP
②    A→B         前提引入     
③    B               ①②MP  
④    ¬B             前提引入
⑤   B∧¬B        ③④Conj   
⑥  ∴  ¬A          IP




转载本文请联系原作者获取授权,同时请注明本文来自黄荣彬科学网博客。

链接地址:https://wap.sciencenet.cn/blog-626289-1365259.html?mobile=1

收藏

分享到:

当前推荐数:1
推荐人:
推荐到博客首页
网友评论0 条评论
确定删除指定的回复吗?
确定删除本博文吗?