间接证明（Indirect Proof）的形式

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

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

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

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

收藏

分享