离散数学--1.3证明方法概述VIP

11.3证明方法概述•逻辑推理的形式结构•证明方法直接证明法间接证明法归谬法(反证法)数学归纳法穷举法构造证明法空证明法平凡证明法举反例...