数理逻辑 第一章 逻辑、集合和函数 函数增长
- 格式:ppt
- 大小:1.19 MB
- 文档页数:49
《数理逻辑》教学大纲徐海燕 编写535目录前言 (537)第一章数理逻辑的由来 (538)第一节 传统逻辑的不足 (538)一、传统逻辑中命题的限制 (538)二、传统逻辑中三段论的限制 (539)三、传统逻辑中量词的限制 (540)第二节 数理逻辑的兴起 (541)第三节非欧几何带来的问题 (544)第四节微积分基础的争论 (546)第五节集合论悖论 (548)第六节 蕴涵词及其怪论 (549)第二章数理逻辑的主要内容 (552)一、真值联结词真值函项重言式 (552)二、命题演算命题逻辑的公理化和形式化 (552)复习与思考题 (553)第三章数理逻辑的三个发展阶段及三大学派 (554)一、数理逻辑的三个发展阶段 (554)二、数理逻辑的三大学派 (554)第四章 数理逻辑的特征和应用 (555)复习与思考题 (555)536前言本课程由逻辑学研究所开设。
本课程是哲学专业的选修课之一。
主要介绍一阶逻辑的基本理论和方法。
主要内容包括:命题形式语言及其语义理论,命题表列,命题演算系统,命题演算系统的可靠性与完全性定理;一阶语言及其语义理论,一阶表列,谓词演算系统,谓词演算系统的可靠性与完全性定理。
本课程旨在使学生掌握公理化、形式化的现代逻辑理论和方法,提高学生现代逻辑思维的素质和能力,培养学生现代逻辑的意识,为学习哲学专业相关课程以及从事现代西方哲学研究工作打下必要的基础。
537第一章数理逻辑的由来本章教学目的和基本要求:掌握数理逻辑的产生根源学时分配:9到了今天,数理逻辑可以说已经是一门成熟的科学,它的内容十分丰富,与别的许多门学科都有牵连,互相影响,要介绍它的内容,或者描绘它与别的学科有所不同的特征,都是非常困难的,最好的办法是先从它的发展过程来考察。
因为一个事物,无论它所包含的内容如何丰富,它的特性如何复杂,如果能够从它的发展来看,先看它是如何产生的,如何一步步地成长,逐渐地由小而大、由简单而复杂的发展,这样我们便能比较容易地掌握其主要内容、找出它的基本特征。
绪论一、数理逻辑研究什么?★研究前提和结论的可推导性关系,它是由命题的逻辑形式而非内容所决定的二、数理逻辑如何研究?★形式语言第一章预备知识第一节集合一、集合1、集合的内涵和外延(所有元素的共同性质/构成集合的所有元素)2、有序偶和笛卡儿集二、关系1、概念:集合S上的n元关系R2、特殊情况:集合S上的一元关系R(集合S上的性质R)三、函数(映射)1、概念:函数(集合+有序偶+性质)、定义域dom(f)、值域ran(f)2、概念:f(x)(函数f在x处的值)3、概念:f:S->T(函数f是由S到T的映射)、满射、一一映射四、等价1、概念:关系R是集合S上的等价关系(自反+对称+传递)2、概念:元素x的R等价类3、性质:R等价类对集合S的一个划分(两两不相交,且并为S)五、基数1、概念:S~T(两个集合S和T是等势的)2、概念:集合S的基数|S|(集合中的元素个数)3、概念:可数无限集第二节归纳定义和归纳证明一、归纳定义1、集合的归纳定义⑴、直接生成某些元素⑵、给出运算,将其作用在已有元素上,以产生新的元素⑶、只有这样才是集合中的元素,除此之外,再也没有了2、典例:自然数集N的两个归纳定义二、归纳证明1、归纳定理:设R是一个性质,如果⑴、R(0)⑵、对于任何n∈N,如果R(n),则R(n’)那么,对于任何n∈N,都有R(n)2、概念:归纳基础、归纳步骤(包括归纳变元和归纳假设)、归纳命题、归纳证明3、概念:串值归纳法及其变形三、递归定义1、递归定义(在归纳定义的集合上,定义函数)在自然数集N上定义一个这样的函数f:g,h是N上的已知函数f(0)=g(0)f(n’)=h(f(n))2、递归定义原理(这样的函数是存在而且唯一的)第二章经典命题逻辑第一节联结词一、基本概念1、概念:命题(陈述句+确定值)(要么是真,要么是假)2、概念:简单命题和复合命题(区分的关键)3、小结:只考虑复合命题的真假是如何确定的二、联结词1、非A:2、A与B:A为真并且B为真3、A或B:A为真或B为真(A为真或B为真或AB同时为真)4、A蕴涵B:如果A真,则B真(并非A假B真)5、A等值于B:如果A蕴涵B,同时B蕴涵A第二节命题语言一、基本概念1、概念:命题语言(命题逻辑使用的形式语言)2、归纳:命题语言的三类符号(命题符号+联结符号+标点符号)3、概念:表达式、长度、空表达式、两个表达式相等4、概念:段、真段、初始段、结尾段二、基本概念1、定义:原子公式,记为Atom(L P)(单独一个命题符号)2、定义:公式,记为Form(L P)(经典归纳定义及其两种变形)★经典定义容易理解,然而两种变形更容易使用3、定理:如何证明L P的所有公式都满足R性质?★关键:假设S={A∈Form(L P)| R(A)}4、概念:对公式的结构做归纳(上述归纳证明)三、习题解析1、关键:利用二叉树表示公式的生成过程2、关键:蕴涵有多种不同的叙述方式(关键:分清楚充分条件和必要条件)⑴、◆如果p,则q⑵、◆只要p,则q⑶、◆p仅当q⑷、◆只有p,才q⑸、◆除非p,否则q(思路:想方设法转化为上述情形)第三节公式的结构一、引理1、引理1:L P的公式是非空的表达式2、引理2:在L P的每个公式中,左括号和右括号出现的数目相同3、引理3:真初始段不是公式(在L P的公式的任何非空的真初始段中,左括号出现的次数比右括号多。
第一章 集合第一课 集 合当你刚刚走进一个新的班集体时,坐在教室里环顾四周,有一些是你过去的同学,还有很多陌生的面孔,经过一段时间,你就会发现,班级里有些同学参加了舞蹈队,有些同学参加了管弦乐队,有些同学参加了篮球队```````学过这一章,你就可以用集合的语言非常清晰、方便地表述上面的事情.集合语言是现代数学的基本语言.使用这种语言,不仅有助于简洁、准确地表达数学内容,还可以用来刻画和解决生活中的许多问题.学习集合,可以发展同学们用数学语言进行交流的能力.一、学习目标1.理解集合的概念,掌握集合中元素的性质.2.理解“属于”关系的含义,会用符号表示元素与集合的关系. 3.识记几个常用数集及其特殊记法,了解有限集、无限集的意义.二 、课前练习1.把下列各数按要求填入下面所表示的数集的圈子里:2-,7,π-,0,31-,3,6,5-.偶数集 负数集 无理数集2.满足不等式01<+x 的x 取值范围__________________ .3.请列举三种特殊的四边形:__________、___________、____________. 4.写出你们班个子较高的同学的名字.三、学习内容在初中数学中,我们已接触过“集合”这个词.在初中代数中学习数的分类时,就出现“正数的集合”“负数的集合”等.此外,对于一元一次不等式01<+x ,所有小于1-都是它的解.这些数组成这个不等式的解的集合,简称库这个不等式的解集.在平面几何里学习圆时,说圆是平面内到定点的距离等于定长的点的集合.一般地,几何图形都可以看成是点的集合.综上,把一些能够确定的对象看成一个整体,我们就说,这个整体就是由这些对象的全体构成的集合.构成集合的每个对象都叫做集合的元素.例如:(1)某卫生学校0601护士班的全体同学构成一个集合,这个班的每个同学都是这个集合的一个元素;(2)正实数全体构成一个集合,每个正实数都是这个集合的元素;(3)平行四边形的全体构成一个集合,其中任一个平行四边形都是这个集合的一个元素.想一想:举出一个集合的例子,并说出这个集合的元素是什么?从以上的例子我们看到:(一)组成集合的元素是确定的.这是因为集合的的元素具有共同的、明显的特征或属性,我们能据此将这些对象与其他对象加以区别.例如,“0601护士班的同学”构成的集合,谁是这班的同学,谁不是这个班的同学,都是明确的。