用真值表证明逻辑规律必循环

摘要

正 最近发现一些逻辑学著作,其中甚至有权威著作,竟用“数理逻辑”方法“证明”矛盾律和排中律.比如,美国斯坦福大学教授帕特里克·苏佩斯著Introduction toLogic一书(美国大学本科包括数学系用书),第一章就要求学生“用真值表判定PV～P(排中律表达式)为重言式”(中国社会科学出版社1984年译本,第22页).