试论推理格式与数学证明方法

本文以命题真值代数的基本知识为依据，阐述五种主要的数学证明方法：演绎法、完全归纳法、反证法、半反证法、数学归纳法。