第一二章数理逻.pptVIP

第一篇 数理逻辑 一、数理逻辑（符号逻辑，现代逻辑） 1. 定义:用数学方法来研究人类推理过程的一门数学学科. 逻辑：客观事物在主观意识中的反映； 逻辑学：研究思维形式及思维规律的科学，它分为辩证逻辑和形式逻辑； 判断：利用概念对事物是否具有某种属性进行肯定或否定的回答； 推理：由一组前提推出某重结论。 2． 特点 符号化，形式化 即把逻辑所涉及的“概念、判断、推理”用符号来表示，依据推理规则和公里体系，并基于符号串形式的演算来描述推理的一般规律。 3．数理逻辑的研究方法 将自然语言符号化形成数学语言；（符号语言、形式语言） 根据公理系统及推理规则进行逻辑推理。（数学演算） 4. 数理逻辑的应用及其发展 人工智能（语音识别、机器人）形式语义学 第一章 命题逻辑 §1.1、命题和联结词 一、命题proposition 1、命题引入 为避免自然语言的不确定性及二义性，引入目标语言和一些符号公式，用以表达语言中的判断和推理，从而形成数理逻辑的形式符号体系，符号化的对象是目标语言； 目标语言：即我们的研究对象，也就是要研究无二义性的语言的范围，即具有明确是、非概念的陈述句，因为它是表达判断的。 2、命题定义 能判断其含义为真或假的陈述句，具有唯一的真值称为命题；一个命题具有唯一一个“值”，称为真值，他仅有真或假（不可兼）两种，记为true和false，简记为T/1和F/0。