反证法与归谬法的现代分析

作者：杜国平反证法归谬法正命题逻辑系统排中律不矛盾律

摘要：本文以现代命题逻辑为分析工具,证明了:在正命题逻辑系统的基础上,反证法的证明能力强于归谬法,它们之间相差一个双重否定律;归谬律与不矛盾律加上充分条件否定后件律相等价;反证律与不矛盾律、排中律、充分条件否定后件律加上选言推理否定肯定律相等价.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社