标签：
逻辑推理的形式结构
直接证明法
间接证明法
归谬法(反证法)
数学归纳法
离散数学--1.3 证明方法概述
原文地址：http://www.cnblogs.com/zrui513/p/5185907.html
