逻辑学基础知识.pptx

逻辑学基础知识

Review还记得ArtificialIntelligence是何年何地提出的吗？1956年Dartmouth会议上，Newell和Simon展示了能证明数学定理的程序LogicTheorist。他们用的是什么技术呢？逻辑方法

学习要求能描述逻辑学发展史及现代逻辑学体系能解释命题逻辑语法、语义与命题演算能解释谓词逻辑语法、语义与谓词演算能利用谓词逻辑法进行知识表示

LogicLogic起源于古希腊语?????(logos)

LogicA??????????用?????指议论和论证

LogicStoic学派用Logos指论辩术和修辞学ZenoofCitium

Logic古罗马Cicero用dialectica（论辩术）表示包括逻辑和修辞的科学

Logic欧洲中世纪的逻辑学家有时候用logica,有时候用dialectica表示逻辑

Logic近代西方才通用logic或logique等表示逻辑这门科学

Logiclogic在中国的翻译1623年李之藻《名理探》1896年艾约瑟《辩学启蒙》1905年严复《穆勒名学》logic的中译名还有论理学、理则学等严复是把它音译为“逻辑”的第一人

Logic逻辑一词的主要含义有客观事物的规律某种理论、观点思维的规律、规则逻辑学或逻辑知识女生在课堂上逻辑能考一百分，但是出了课堂，就一点逻辑也没有。

Logic逻辑学三大源泉形式逻辑名辩学因明学逻辑学

Logic古典逻辑Aristotle：以三段论为核心的词项逻辑Stoic学派：命题逻辑文艺复兴：语言的指称、词项的性质、推论学说Bacon：16世纪归纳逻辑，三表法17世纪的《波尔·罗亚尔逻辑》：概念论、命题论、推理论和方法论四部分内容

Logic形式逻辑Kant：首次提出逻辑是关于一般思维之单纯形式的科学Mill：19世纪的“穆勒五法”（契合法、差异法、契合差异并用法、共变法和剩余法）Leibniz：思维演算、人工语言Boole：逻辑代数Peirce：关系逻辑

Logic数理逻辑Frege：形式化语言取代日常语言；建立了历史上第一个严格的谓词演算系统Russell：建立了四个演算系统（命题、谓词、类、关系），标志着数理逻辑的正式诞生G?del：对逻辑系统自身的一致性和完备性研究集合论、模型论、证明论、递归论的诞生

Logic现代逻辑体系基本逻辑标准逻辑：命题逻辑、量词逻辑（谓词逻辑、关系逻辑）、数理逻辑（模型论、集合论、递归论、证明论）非标准逻辑：多值逻辑、模态逻辑、模糊逻辑、直觉主义逻辑和相干逻辑元逻辑逻辑语法学、逻辑语义学、逻辑语用学应用逻辑认知逻辑、问题逻辑、规范逻辑、时态逻辑、量子逻辑、电路分析逻辑

Logic现代逻辑学逻辑学是研究人类思维形式和思维规律的科学现代逻辑学则是用数学的方法来研究这些规律符号化公理化形式化

PropositionalLogic命题(Proposition)：具有真假意义的陈述句命题的两种类型：原子命题，复合命题命题逻辑：研究命题和命题之间关系的符号逻辑系统。还记得知识的定义吗？

PropositionalLogic命题逻辑的符号包括：命题常元：True（T）、False（F）命题符号：P,Q,R等联结词：?（否定，Not）∧（合取，Conjunction）∨（析取，Disjunction）→（蕴含，Implication）?（等价，Equivalent）括号：()

PropositionalLogic山无棱，天地合，才敢与君绝

PropositionalLogic命题公式（Propositionalformula）：由命题常元、变元和联结词组成的合法表达式语法(Syntax)：定义了公式的合法构成形式语义（Semantics）：定义了用于判定关于特定模型的公式真值的规则

PropositionalLogic联结词的语义描述?P为T，iffP为FP∧Q为T，iffP和Q都为TP∨Q为T，iffP为T或Q为TP→Q为T，iffP为F或Q为TP?Q为T，iffP→Q为T，且Q→P为T

PropositionalLogic真值表PQ?PP∧QP∨QP→QP?QTTFTTTTTFFFTFFFTTFTTFFFTFFTT

PropositionalLogic如果对任意指派?，有?(A)=T，则称公式A为永真式或重言式（Tautology）；如果存在指派?使?(A)=T，则称公式A为可满足的（Satisfiable）；否则称A为不可满足的（Unsatisfiable），或永假式。

PropositionalLogic永真式一定是可满足的吗？如果A为永真式，?A一定是永假式吗？

PropositionalLogic命题演算系