几种数学证明方法的逻辑原理

本文以逻辑代数中分离法则为依据．推导出了第一、二数学归纳法，分析法和缘分法的逻辑原理。指出了其逻辑意义，给出了其数学解释．叙述了其方法步骤。本文还就上述四种证明方法在逻辑意义上的相互关系进行了一定的论述。