数理逻辑简介.ppt

离散数学是现代数学的一个重要分支。是计算机科学中基础理论的核心课程，为计算机科学提供了有力的理论基础和工具。离散数学的基本思想、概念和方法广泛地渗透到计算机科学与技术发展的各个领域，而且其基本理论和研究成果更是全面而系统地影响和推动着其发展。;离散数学的内容十分丰富，最重要，最核心的是：数理逻辑、集合论、代数系统和图论。本课程主要讲授以上四个方面的内容。;数理逻辑简介;数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科，它与数学的其它分支、计算机科学、人工智能、语言学等学科均有密切的联系。命题逻辑和一阶谓词逻辑是数理逻辑中最成熟的部分，在计算机科学中应用最为广泛，其中命题逻辑是数理逻辑的最基础部分，谓词逻辑是在它的基础上发展起来的。本课程在第一，二两章中介绍数理逻辑的内容。;第一章命题逻辑;内容：命题，逻辑联结词，命题符号化;一、命题的概念;例1、判断下列句子中哪些是命题。;例1、判断下列句子中哪些是命题。;二、逻辑联结词。;真值表;真值表;(1)李平既聪明又用功。;真值表;真值表：;例3、一位父亲对儿子说：“如果我去书店，就一定给你买本《儿童画报》。”问：什么情况下父亲食言？;(1)如果天不下雨，我就骑车上班。;真值表：;例5、;6、逻辑联结词与自然语言中联结词的关系。;7、运算顺序;三、