1.在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。
2.同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.
3.本文分析了排他性逻辑思维的内容，在经济活动中的表现及与排中律、选言推理的关系。