数理逻辑中几种常见的证明方法

【文件属性】：

文件名称：数理逻辑中几种常见的证明方法

文件大小：99KB

文件格式：PDF

更新时间：2017-08-28 02:47:08

数理逻辑

本文着重介绍数量逻辑常用的四种证明方法：真值表法、主范式法、推理演算法、归纳推理法，以旨帮助读者了解诸法之区别及运用情境。