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

摘要：

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

关键词：反证法、归谬法、正命题逻辑系统、排中律、不矛盾律

所属期刊栏目：21

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金02CZX008

在线出版日期：2006-09-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：48-51