首页 | 本学科首页   官方微博 | 高级检索  
     

学习札记(三篇)
作者姓名:何庸
摘    要:有的逻辑书认为间接证明分为反证法和选言证法(选言法,淘汰法,选言式间接证明),其源盖出于斯特罗果维契。斯氏虽正确地说间接证明是以证明反论题(论题的矛盾判断)的错误来给论题的正确性作为依据。但他又认为间接证明分为归谬法和“以排除选言推论的除了一个以外的其余一切选言肢

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号