逻辑基础2.docVIP

中学数学逻辑基础 所谓逻辑，在日常应用中多指思维规律。这里所说的中学数学的逻辑基础，主要是指形式逻辑，而正确地理解和运用形式逻辑的有关知识可以说是现代社会公民应该具备的基本素质，无论是进行思考、交流，还是从事各项工作，都需要正确地理解和运用形式逻辑的有关知识表达自己的思想。于是，本章便着重择要对中学数学逻辑基础的基本内容，包括数学概念、数学命题、数学推理和数学证明以及形式逻辑的基本规律进行研究。 数学概念 1．概念与数学概念 概念是反映事物本质属性的思维形式。所谓“本质属性”,就是指它构成某种事物的基本特征,这类属性只为该种事物所具有,它是这种事物区别于其它事物的根本依据。 数学概念是揭示现实世界空间形式与数量关系本质属性的思维形式。它的产生，一般说来有两种情形：一种是直接从对客观事物的空间形式或数量关系的反映而得到的，如自然数的概念；另一种是在已有数学概念的基础上，经过多层次的抽象概括而形成的，如平行四边形的概念。 内涵与外延是构成数学概念的两个重要方面。数学概念的内涵反映数学对象的本质属性，外延是数学概念所有对象的总和。例如，“对边平行”、“对角相等”、“同旁内角互补”、“对角线相互平分”等都是平行四边形的内涵；而“所有的平行四边形”则是“平行四边形”的外延。又如，“奇数”这个概念，它的内涵是“整数”“被2除余1”，而外延是。在概念的内涵和外延之间有着密切的关系：内涵扩大，则外延就缩小；反之，内涵缩小，则外延就扩大，它们之间的这种关系,称为反变关系。例如,在四边形的内涵中,再增加“两组对边分别平行”这个条件,就得到平行四边形的概念,其外延比四边形的外延就缩小了。在等腰三角形的概念中减少“有两边相等”这个条件,就得到三角形的概念,其外延就比等腰三角形的外延扩大了。要注意的是,这种反变关系只能适用于外延间存在着包含和被包含的两个概念之间。 2．概念间的关系 我们只研究可比较概念间的关系。所谓可比较概念,就是指它们在外延上具有某种可比较关系的概念。例如,“正数”和“整数”就是可比较的概念,而“正数”和“多边形”就是不可比较的概念。对于可比较概念间的关系,有相容和不相容两类。 （1）相容关系 外延有公共部分的两个概念间的关系称为相容关系,这两个概念称为相容概念。在相容关系里,又分为同一关系、交叉关系和从属关系。 1）同一关系:外延完全重合的两个概念A和B间的关系称为同一关系。例如，“直线”与“一次曲线”这两个概念，虽然它们是从不同的角度来说明问题的,但是,它们的外延完全重合,是指的同一类对象。在同一个思维过程中,具有同一关系的两个概念可以相互代替使用. 2）交叉关系:外延只有一部分重合的两个概念A和B间的关系,称为交叉关系,这两个概念称为交叉概念。例如, “菱形”与“矩形”是两个具有交叉关系的概念。具有交叉关系的两个概念是可以互相说明的,但必须用“有些”两字来限制。例如,我们可以说“有些整数是负数”，也可以说“有些负数是整数”；却不能说“整数是负数”,也不能说“负数是整数”。 3）从属关系(包含关系):如果概念A的外延包含概念B的外延,那么这两个概念间的关系称为从属关系。其中概念A叫做概念B的属概念(或上位概念), 概念B叫做概念A的种概念(或下位概念)。例如, “实数”和“有理数”是两个具有从属关系的概念，“实数”是属概念，“有理数”是种概念。 (2)不相容关系? 外延没有公共部分的两个概念间的关系称为不相容关系,这两个概念称为不相容概念。不相容关系分为对立、矛盾关系两种。 1）对立关系? 若概念A和B不相容，且它们的外延之和小于其最邻近的属概念的外延,那么这两个概念间的关系称为对立关系,这两个概念就称为对立概念。例如,“正实数”与“负实数”相对于实数来说是具有对立关系的两个概念。 2） 矛盾关系?若概念A和B不相容,且它们的外延之和等于其最邻近的属概念的外延,那么这两个概念间的关系称为矛盾关系,这两个概念就称为矛盾概念。例如,“直角三角形”与“非直角三角形”相对于三角形来说是具有矛盾关系的两个概念。 3．概念的定义 （1）定义 概念是用定义叙述的。给概念下定义就是揭示它所反映事物的本质属性。例如： 1）三角形是三边相等的三角形； 2）函数 叫做的对数函数。 任何定义都由被定义项、定义项和定义联项三部分组成。被定义项是需要加以明确的概念, 1）中的“等边三角形”，2）中的“对数函数”，分别是这两个定义的被定义项。定义项是用来明确被定义项的概念，1）中的“三边相等的三角形”，2）中的“函数 ”，分别是这两个定义的定义项。定义联项是用来联结被定义项和定义项的语词。一般常用的定义联项有“是”、“就是”、“叫做”、“称为”等。 (2) 定义的方法 在数学中通常采用下列方法给概念下定义。 1）属加种差定义法。这是给数学概念下定义最常用的