逻辑基本概念

逻辑基本概念Tag内容描述：<p>1、第四章 一阶逻辑基本概念 上一节的复习 自然推理系统 P n定义3.3 自然推理系统P定义如下： 1字母表 （1） 命题变项符号：p，q，r，,pi，qi，ri， （2） 联结词符号：, （3） 括号和逗号：( , )， 2合式公式 同定义1.6 上一节的复习（续） 自然推理系统 P（续） 3推理规则 （1） 前提引入规则：在证明的任何步骤上 都可以引入前提。 （2） 结论引入规则：在证明的任何步骤上所 得到的结论都可以作为后继证明的前提。 （3） 置换规则：在证明的任何步骤上，命题 公式中的子公式都可以用与之等值的公式置换 ，得到公式序列中的又一个公式。 。</p><p>2、第一部分 数理逻辑,传统逻辑与数理逻辑： 逻辑一词源于希腊文，意思指：词、思想、理性、规律等。 逻辑学研究的是：判别一个推理过程是否正确的标准。数理逻辑也叫符号逻辑，即用人工符号来书写逻辑法则，它是一门涉及数学、逻辑学、哲学等几门学科的横向交叉学科。,传统逻辑用以表示命题形式和推理形式的是自然语言的某些词语，而自然语言是多义的，不适于用以精确地表示各种命题形式和推理形式。数理逻辑克服了这方面的局限性，以其特有的人工符号来书写逻辑法则，突出体现了方便、精确的优势。,数理逻辑是用数学方法来研究推理的形式结。</p><p>3、第1章 命题逻辑,离 散 数 学,本章说明,本章的主要内容 命题、联结词 命题公式、命题公式的分类 等值演算 连接词全功能集 对偶与范式 推理理论 题例分析,1.1 命题符号化与联结词,数理逻辑研究的中心问题是推理。 推理的前提和结论都是表达判断的陈述句。 表达判断的陈述句构成了推理的基本单位。,1.1 命题符号化与联结词,称能判断真假的陈述句为命题 （proposition）。 作为命题的陈述句所表达得的判断结果称为命题的真值。 真值只取两个：真与假。 真值为真的命题称为真命题。 真值为假的命题称为假命题。,感叹句、疑问句、祈使句都不能称。</p><p>4、第1章 命题逻辑,离 散 数 学,本章说明,本章的主要内容 命题、联结词 命题公式、命题公式的分类 等值演算 连接词全功能集 对偶与范式 推理理论 题例分析,1.1 命题符号化与联结词,数理逻辑研究的中心问题是推理。 推理的前提和结论都是表达判断的陈述句。 表达判断的陈述句构成了推理的基本单位。,1.1 命题符号化与联结词,称能判断真假的陈述句为命题 （proposition）。 作为命题的陈述句所表达得的判断结果称为命题的真值。 真值只取两个：真与假。 真值为真的命题称为真命题。 真值为假的命题称为假命题。,感叹句、疑问句、祈使句都不能称。</p>