离散数学 -邱晓红 part1.pptVIP

数理逻辑 主讲:邱晓红 数理逻辑简介 数理逻辑是用数学方法研究形式逻辑的科学。数学方法即符号方法，故数理逻辑又称符号逻辑。包含命题逻辑、谓词逻辑、证明论、模型论、递归函数、公理化集合论、归纳逻辑、模态逻辑、多值逻辑和时态逻辑等内容，与计算机有密切关系。 各知识点关联图 第一部分：数理逻辑 第一章 命题逻辑 1.1 命题及其表示 1.2 逻辑联结词 1.3 命题公式与解释 1.4 真值表与等价公式 1.5 命题公式的分类与蕴含式 1.6 其它逻辑联结词和最小功能 完备联结词组 1.7 对偶与范式 1.8 推理理论 习 题 一 实验一 真值表的程序计算 第2章 谓词逻辑 2.1谓词的基本概念 2.2谓词公式与解释 2.3变元的约束 第一章：命题逻辑 主要内容：命题及表示、联结词、命题公式与翻译、真值表与等价公式、重言式与蕴涵式、其他联结词、对偶与范式、推理理论。 教学要求：深刻理解和掌握命题逻辑中的基本概念和基本方法。 重点：命题逻辑中的基本概念和基本推理方法 难点：推理理论。 实践活动：真值表的程序计算  1.1 命题及其表示 定义1.1.1 能够判断真假的陈述句称为命题（Proposition）。命题的判断结果称为命题的真值，常用T(True)（或1）表示真，F(False)（或0）表示假。真值为真的命题称为真命题，真值