离散数学-数理逻辑知识整理

离散数学 文章目录 离散数学 前言 数理逻辑 命题逻辑 基本概念 联结词 命题符号化 基本等价公式 判断命题公式逻辑等价的方法 求合取范式和析取范式的方法 求出主析取范式的方法 求主合取范式的方法 主范式间的转换 证明永真（假）的方法 证明蕴含的方法 常用的蕴含式 推理的方法 谓词逻辑 基本概念 谓词中的基本等价公式 常用的蕴含关系 化为前束范式的方法 推理规则 谓词推理中注意的问题 前言 最近在

>>阅读原文<<