黄荣彬个人博客---图示思维规则 ...分享 http://blog.sciencenet.cn/u/rbhuang5907 个人主页:http://chem.xmu.edu.cn/teacher.asp?id=234

博文

间接证明的形式

已有 1249 次阅读 2022-11-25 10:51 |系统分类:教学心得

间接证明(Indirect Proof)的形式

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

图片.png

图片.png

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






https://wap.sciencenet.cn/blog-626289-1365259.html

上一篇:[转载]2022年中国逻辑学会第五届全国学术大会
下一篇:[转载]中国自然辩证法研究会2022年学术年会成功举办
收藏 IP: 103.27.25.*| 热度|

1 高宏

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2023-9-22 19:31

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部