间接证明的形式
2022-11-25 10:51
阅读:2668
间接证明(Indirect Proof)的形式
下列规则属于自然演绎推理系统的规则。
① A AIP
② A→B 前提引入
③ B ①②MP
④ ¬B 前提引入
⑤ B∧¬B ③④Conj
⑥ ∴ ¬A IP
转载本文请联系原作者获取授权,同时请注明本文来自黄荣彬科学网博客。
链接地址:https://wap.sciencenet.cn/blog-626289-1365259.html?mobile=1
收藏
当前推荐数:1
推荐人:
推荐到博客首页
网友评论0 条评论