命题逻辑基本概念.ppt02、命题逻辑等值演算.ppt03、命题逻辑的推理理论.ppt04、一阶逻辑

学离散数学前6章，内容包括：01、命题逻辑.ppt02、一阶逻辑.ppt03、集合的基本概念和运算

天津大学离散数学电子课件，内容包括命题逻辑、谓词逻辑、非古典逻辑、模型论、证明论、递归论、公理化集

格式的课件，内容丰富，章节包括：第1章命题逻辑第2章谓词逻辑第3章集合第4章关系第5章函数第6章代

第一章：命题逻辑第二章：谓词逻辑第三章：集合第四章：关系第五章：函数第六章：代数结构概念及性质第七章

第1节 引言 第2节 命题逻辑的语言 第3节 真值指派 第4节 唯一可读性 第5节 其它联词 第6节 命题逻辑的一个推演系统 第7节 命题逻辑的自然推演 第8节 命题逻辑的可靠性和完全性定理 第9节 模态逻辑简介

第一节 命题逻辑概述 第二节 命题逻辑的公理系统 第三节 命题演算的自然推理系统 第四节 命题逻辑的语义学

命题逻辑研究的是命题的推理演算． 命题逻辑的基本概念 命题联结词 合式公式、重言式 自然语句的形式化

第一章命题逻辑 1命题 2命题联结词 3命题变元与命题公式 4等价式 5永真蕴含式 6命题联结词总结 7范式和判定 8推论规则和证明方法

第一章 引 论 第二章 命题逻辑 第三章 词项逻辑 第四章 模态逻辑 第五章 归纳逻辑 第六章 逻辑规律 第七章 论证