离散数学第一章命题逻辑-1-5节.pptxVIP

离 散 数 学河南工业大学信息科学与工程学院第一章 命题逻辑第一页，共八十九页。第一篇 数理逻辑什么是逻辑（学）？研究人类思维的科学。研究思维形式及思维过程。公元前四世纪亚里斯多德《工具论》奠定了逻辑学的理论基础。中国最早的一部逻辑专著－－《墨经》也创造了一个比较完整的逻辑体系。辩证逻辑形式逻辑第二页，共八十九页。什么是数理逻辑？数理逻辑是用数学的方法研究逻辑。所谓“数学方法”：就是引进一套符号体系的方法。用数学理论、手段和技巧找出研究对象内在联系的数学表达式及其规范的方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。数理逻辑即引进一套符号体系的方法来研究概念、判断和推理，即对符号进行判断和推理。所以数理逻辑也称为“符号逻辑”。数理逻辑属于形式逻辑。它与数学的其它分支、计算机科学、人工智能、语言学等学科均有密切联系。第三页，共八十九页。现代数理逻辑数理逻辑的主要内容 数理逻辑内容丰富，但其主要包括“两个演算” 加“四论”，即：逻辑演算。包括命题演算和谓词演算证明论。主要研究数学理论系统的相容性（即不矛盾、协调性）的证明。递归论（能行性理论）。自从电子计算机发明后，迫切需要在理论上弄清计算机能计算哪些函数。递归论研究能行可计算的理论，它为能行可计算的函数找出各种理论上精确化的严密类比物。模型论。主要是对各种数学理论系统建立模型，并研究各模型之间的关系以及模