数理逻辑中几种常见的证明方法
本文着重介绍数量逻辑常用的四种证明方法:真值表法、主范式法、推理演算法、归纳推理法,以旨帮助读者了解诸法之区别及运用情境。
下载地址
用户评论
