Outlines ·反证法及其逻辑正确性 ·分情形证明法及其逻辑正确性 ·数学归纳法及其逻辑正确性 ·鸽笼原理证明法及其逻辑正确性Outlines • 反证法及其逻辑正确性 • 分情形证明法及其逻辑正确性 • 数学归纳法及其逻辑正确性 • 鸽笼原理证明法及其逻辑正确性