离散数学命题与联接词.pptVIP

命题演算：命题与联结词组合例子：如果3是合数，则4是素数，并且如果4是素数，则它不能被2整除p:3是合数，q:4是素数，r:4能被2整除(p→q)∧(q→?r)如果2+35当且仅当5是合数，则2和3都是有理数p:2+35，q:5是合数，r:2是有理数，s:3是有理数(p?q)→(r∧s)第30页，共44页，星期日，2025年，2月5日命题演算：命题与联结词命题常元（propositionconstants）表示具体命题及表示常命题的p,q,r,s等和t,f命题变元（propositionvariables）以“真，假”或者“1，0”为取值范围的变量仍用p,q,r,s等表示命题公式（propositionformula）由命题常元、变元和联结词组成的形式更为复杂的命题第31页，共44页，星期日，2025年，2月5日第1页，共44页，星期日，2025年，2月5日目录数理逻辑集合论图论抽象代数形式语言与自动机第2页，共44页，星期日，2025年，2月5日数理逻辑命题演算命题与联结词重言式范式命题演算形式系统谓词演算个体、谓词和量词谓词演算永真式谓词公式的前束范式一阶谓词演算形式系统第3页，共44页，星期日，2025年，2月5日数理逻辑逻辑学是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。亚里士多德在逻辑学上最重要的工作是提出三段论学说。一个三段论就是一个包括有大前提、小前提和结论三个部分的论证。三段论有许多不同的种类，其中最著名的例子：凡是人都会死（大前提）苏格拉底是人（小前提）所以：苏格拉底会死（结论）第4页，共44页，星期日，2025年，2月5日数理逻辑用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。数理逻辑的萌芽利用计算的方法来代替人们思维中的逻辑推理过程，这种想法早在十七世纪就有人提出过。莱布尼茨（Leibniz）就曾经设想能不能创造一种“通用的科学语言”，可以把推理过程象数学一样利用公式来进行计算，从而得出正确的结论。由于当时的社会条件，他的想法并没有实现。但是他的思想却是现代数理逻辑部分内容的萌芽，从这个意义上讲，莱布尼茨的思想可以说是数理逻辑的先驱。第5页，共44页，星期日，2025年，2月5日数理逻辑数理逻辑的开创1847年，英国数学家布尔G.Boole发表了《逻辑的数学分析》，建立了“布尔代数”，并创造一套符号系统，利用符号来表示逻辑中的各种概念。布尔建立了一系列的运算法则，利用代数的方法研究逻辑问题，初步奠定了数理逻辑的基础。数理逻辑的大发展1884年，德国数学家弗雷格Frege出版了《数论的基础》一书，在书中引入量词的符号，使得数理逻辑的符号系统更加完备。美国人皮尔斯Peirce，他也在著作中引入了逻辑符号。从而使现代数理逻辑最基本的理论基础逐步形成，成为一门独立的学科。第6页，共44页，星期日，2025年，2月5日数理逻辑数学危机和解决在集合论的研究过程中，出现了一次称作数学史上的第三次大危机。这次危机是由于发现了集合论的悖论引起。集合论本来是论证很严格的一个分支，被公认为是数学的基础。1903年，英国哲学家、逻辑学家、数学家罗素Russell对集合论提出了以他名字命名的“罗素悖论”，这个悖论的提出几乎动摇了整个数学基础。罗素提出类型论，策梅罗Zermelo提出公理化集合论来对康托尔Contour的朴素集合论进行限制，解决悖论问题。第7页，共44页，星期日，2025年，2月5日数理逻辑对数学进行形式化的努力第三次数学危机解决以后，整个数学界非常乐观希尔伯特Hilbert的形式化思想占统治地位数学建立在集合论和数理逻辑两块基石之上康托尔的朴素集合论已经被公理化集合论代替，消除了悖论整个数学的基本理论是自然数的算术和实数理论，它们都已经公理化如果能够证明这些形式系统的一致性和完全性，整个数学基础就比较牢靠了1928年，希尔伯特提出四个问题，希望能够把整个数学理论系统形式化，并通过有限多步证明它们没有矛盾。第8页，共44页，星期日，2025年，2月5日数理逻辑数理逻辑的转折1930年，哥德尔Godel宣布了不完全性定理一个包括初等数论的形式系统，如果是一致的，那就是不完全的。而且如果初等算术系统是一致的，则一致性在算术系统内不可证明。数理逻辑最重大的成就之一，是数理逻辑发展的一个里程碑和转折点。哥德尔在研究过程中直接考虑悖论及解决悖论的方法，从而把第三次数学危机引导至另一个方向上。人们认识到对整个数学形式化的努力是注定要失败的。数学基础的危机不那么突出了，绝大部分数学家仍然把自己的研