数理逻辑与命题逻辑1 .ppt

想预览更多内容,点击预览全文

申明敬告:

本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己完全接受本站规则且自行承担所有风险,本站不退款、不进行额外附加服务;如果您已付费下载过本站文档,您可以点击这里二次下载

文档介绍

第一部分 数理逻辑 概述:基本概念 逻辑学的分类: 辩证逻辑 形式逻辑 辩证逻辑 以辩证法认识论的世界观为基础的逻辑学 形式逻辑 对思维的形式结构和规律进行研究的类似于语法的一门工具的学科 概述:基本概念 思维的形式结构 包括概念、判断和推理之间的结构和联系 形式逻辑的侧重点 与其说是注重论证本身,不如说注重的是论证形式 概述:基本概念 传统逻辑和数理逻辑 19世纪中叶以前的形式逻辑是传统逻辑 19世纪中叶以后发展起来的现代形式逻辑,通常称为数理逻辑 什么是数理逻辑 数理逻辑:以数学的方法研究思维规律和推理过程的科学。 它首先引进一套符号体系,规定一些规则,导出一些定律,然后借助于这些符号、规则、定律,将逻辑推理的过程在形式上变得像代数演算一样,因此数理逻辑又称符号逻辑。 数理逻辑是传统逻辑的发展,是现代形式逻辑 数理逻辑 命题逻辑(数理逻辑的基础,以命题为研究对象,研究基于命题的符号逻辑体系及推理规律,也称命题演算)。 主要内容: 1、命题与联结词 2、命题公式、翻译和真值表 3、重言式 4、命题联结词的扩充 5、范式 6、命题演算的推理规则和证明方法 谓词逻辑(对命题逻辑的深入研究)。 第一章 命题逻辑 §1 命题与联结词 一、命题 1、什么是命题? 命题是陈述客观外界发生事情的陈述句。 命题或为真或为假的陈述句。 特征: 陈述句 真假必居其一,且只居其一。 ① 中国是一个发展中国家。 ② 人是由猴进化而来的。 ③ 早上好! ④ 王侯将相,宁有种乎? ⑤ 己所不欲,勿施于人! ⑥ 宇宙是大爆炸形成的。 ⑦ 我正在说谎。 ⑧ 这道题太难。 2、命题的真值。 一个命题的真或假称为命题的真值,简称值。 由于命题只有真假两个值,所以命题逻辑也称二值逻辑。 以T(或1)表示命题的真值为真,F(或0)表示命题的真值为假 3、命题的分类与表示 分类 根据其真值分类: 真命题。 假命题

最近下载