集合论部分
第三章、集合的基本概念和运算
3.1 集合的基本概念集合的定义与表示
集合与元素
集合没有精确的数学定义
理解:一些离散个体组成的全体组成集合的个体称为它的元素或成员集合的表示
列元素法A={ a, b, c, d }
谓词表示法B={ x | P(x) }
B 由使得P(x) 为真的x构成常用数集
N, Z, Q, R, C 分别表示自然数、整数、有理数、
实数和复数集合,注意0 是自然数.
元素与集合的关系:隶属关系
属于∈,不属于?
实例
A={ x | x∈R∧x2-1=0 }, A={-1,1}
1∈A, 2?A
注意:对于任何集合A 和元素x (可以是集合),
x∈A和x?A 两者成立其一,且仅成立其一.
集合之间的关系
包含(子集)A?B??x (x∈A→x∈B)
不包含A?B??x (x∈A∧x?B)
相等A = B?A?B∧B?A
不相等A≠B
真包含A?B?A?B∧A≠B
不真包含A?B
思考:≠和?的定义
注意∈和?是不同层次的问题
空集?不含任何元素的集合
实例{x | x2+1=0∧x∈R} 就是空集
定理空集是任何集合的子集
??A??x (x∈?→x∈A) ?T
推论空集是惟一的.
证假设存在?1和?2,则?1??2 且?1??2,因此?1=?2全集E
相对性
在给定问题中,全集包含任何集合,即?A (A?E )
幂集定义P(A) = { x | x?A }
实例
P(?) = {?},
P({?}) = {?,{?}}
P({1,{2,3}})={?,{1},{{2,3}},{1,{2,3}}}
计数
如果|A| = n,则|P(A)| = 2n
3.2 集合的基本运算
集合基本运算的定义??-~⊕
并A?B = { x | x∈A∨x∈B }
交A?B = { x | x∈A∧x∈B }
相对补A-B = { x | x∈A∧x?B }
对称差A⊕B = (A-B)?(B-A)
= (A?B)-(A?B)
绝对补~A = E-A
文氏图(John Venn)
关于运算的说明
?运算顺序:~和幂集优先,其他由括号确定
?并和交运算可以推广到有穷个集合上,即
A1?A2?…A n= {x | x∈A1∨x∈A2∨…∨x∈A n}
A1?A2?…A n= {x | x∈A1∧x∈A2∧…∧x∈A n}
?某些重要结果
??A-B?A
A?B ?A-B=?(后面证明)
A?B=??A-B=A
命题演算法证X?Y:任取x ,x∈X?… ?x∈Y 例3 证明A?B?P(A)?P(B)
任取x
x∈P(A) ?x?A?x?B ? x∈P(B)
任取x
x∈A ? {x}?A ? {x}∈P(A) ? {x}∈P(B)
? {x}?B ? x∈B
包含传递法证X?Y:找到集合T 满足X?T 且T?Y,从而有X?Y
例4 A-B ? A?B
证A-B ? A
A ? A?B
所以A-B ? A?B
利用包含的等价条件证X?Y:
例5 A?C∧B?C ?A?B?C
证A?C?A?C=C
B?C?B?C=C
(A?B)?C=A?(B?C)=A?C=C
(A?B)?C=C ?A?B?C
命题得证
反证法证X?Y:欲证X?Y, 假设命题不成立,必存在x 使得x∈X 且x?Y. 然后推出矛盾.
例6 证明A?C ∧ B?C ? A?B?C
证假设A?B ? C 不成立,
则?x (x∈A?B∧x?C)
因此x∈A 或x∈B,且x?C
若x∈A, 则与A?C 矛盾;
若x∈B, 则与B?C 矛盾.
利用已知包含式并交运算:由已知包含式通过运算产生新的包含式X?Y ?X?Z?Y?Z, X?Z?Y?Z
例7 证明A?C?B?C ∧ A-C?B-C ? A?B
证A?C?B?C,A-C ? B-C
上式两边求并,得
(A?C)?(A-C) ? (B?C)?(B-C)
?(A?C)?(A?~C) ? (B?C)?(B?~C)
?A?(C?~C) ? B?(C?~C)
?A?E ? B?E
? A ? B
命题演算法证明X=Y:任取x ,
x∈X ?… ?x∈Y
x∈Y ?… ?x∈X
或者
x∈X ?… ? x∈Y
例8 证明A?(A?B)=A (吸收律)
证任取x,
x∈A?(A?B) ? x∈A∨ x∈A?B
? x∈A ∨ (x∈A ∧ x∈B) ? x∈A
等式替换证明X=Y:不断进行代入化简,最终得到两边相等
例9 证明A?(A?B)=A (吸收律)
证(假设交换律、分配律、同一律、零律成立)
A?(A?B)
=(A?E)?(A?B) 同一律
=A?(E?B) 分配律
=A?(B?E) 交换律
=A?E 零律
=A 同一律
反证法证明X=Y:假设X=Y 不成立,则存在x 使得x∈X且x?Y,或者存在x 使得x∈Y且x?X,然后推出矛盾.
例10 证明以下等价条件
A?B ? A?B=B ? A?B=A ? A-B=?
(1) (2) (3) (4)
证明顺序:
(1) ?(2), (2) ?(3), (3) ?(4), (4) ?(1)
(1) ?(2)
显然B?A?B,下面证明A?B?B.
任取x,
x∈A?B ? x∈A∨x∈B ? x∈B∨x∈B ? x∈B
因此有A?B?B. 综合上述(2)得证.
(2) ?(3)
A=A?(A?B) ? A=A?B
(将A?B用B代入)
(3) ?(4)
假设A-B≠?, 即?x∈A-B,那么x∈A且x?B. 而
x?B ? x?A?B.
从而与A?B=A矛盾.
(4) ?(1)
假设A?B不成立,那么
?x (x∈A ∧ x?B) ? x∈A-B ? A-B≠?
与条件(4)矛盾.
集合运算法证明X=Y:由已知等式通过运算产生新的等式X=Y ? X?Z=Y?Z, X?Z=Y?Z,X-Z=Y-Z
例11 证明A?C=B?C ∧ A?C=B?C ? A=B
证由A?C=B?C 和A?C=B?C 得到
(A?C)-(A?C)=(B?C)-(B?C)
从而有A⊕C=B⊕C
因此
A⊕C=B⊕C ? (A⊕C)⊕C =(B⊕C)⊕C
? A⊕(C⊕C) =B⊕(C⊕C) ?A⊕?=B⊕?? A=B
3.3 集合中元素的计数
集合的基数与有穷集合
集合A 的基数:集合A中的元素数,记作card A
有穷集A:card A=|A|=n,n为自然数.
有穷集的实例:
A={ a,b,c}, card A=|A|=3;
B={ x | x2+1=0, x∈R}, card B=|B|=0
无穷集的实例:
N, Z, Q, R, C 等
包含排斥原理:定理设S 为有穷集,P1, P2, …, P m是m 种性质,
A i 是S中具有性质P i的元素构成的子集,i=1, 2,
…, m.则S中不具有性质P1, P2, …, P m 的元素数为
证明要点:任何元素x,如果不具有任何性质,则对等式右边计数贡献为1,否则为0
证设x不具有性质P1, P2, … , P m ,
x?A i, i= 1, 2, … , m
x?A i?A j, 1≤i < j ≤m
…
x?A1?A2?…?A m,
x 对右边计数贡献为
1 - 0 + 0 -0 + … + (-1)m· 0 = 1
例1 求1到1000之间(包含1和1000在内)既不能被5 和6 整除,也不能被8 整除的数有多少个?
解:S ={ x | x∈Z, 1≤x ≤1000 },
如下定义S的3 个子集A, B, C:
A={ x | x∈S, 5 | x },
B={ x | x∈S, 6 | x },
C={ x | x∈S, 8 | x }
对上述子集计数:
|S|=1000,
|A|= ?1000/5? =200, |B|=?1000/6?=133,
|C|= ?1000/8? =125,
|A?B|= ?1000/30? =33, |B?C| = ?1000/40? =25,
|B?C|= ?1000/24? =41,
|A?B?C| = ?1000/120? =8,
代入公式
N = 1000-(200+133+125)+(33+25+41)-8=600
例2
24名科技人员,每人至少会1门外语.
英语:13;日语:5;德语:10;法语:9
英日:2; 英德:4;英法:4;法德:4 会日语的不会法语、德语
求:只会1 种语言人数,会3 种语言人数
x+2(4-x)+y1+2=13
x+2(4-x)+y2=10
x+2(4-x)+y3=9
x+3(4-x)+y1+y2+y3=19
x=1, y1=4, y2=3, y3=2
高中数学必修+选修知识点归纳新课标人教A版 一、集合 1、把研究的对象统称为元素,把一些元素组成的总体叫做集合。集合三要素:确定性、互异性、无序性。 2、只要构成两个集合的元素是一样的,就称这两个集合相等。 3、常见集合:正整数集合: 或 ,整数集合: ,有理数集合: ,实数集合: . 4、集合的表示方法:列举法、描述法. §1.1.2、集合间的基本关系 1、一般地,对于两个集合A、B,如果集合A中任意一个元素都是集合B中的元素,则称集合A是集合B的子集。记作 .
2、如果集合 ,但存在元素 ,且 ,则称集合A是集合B的真子集.记作:A B. 3、把不含任何元素的集合叫做空集.记作: .并规定:空集合是任何集合的子集. 4、如果集合A中含有n个元素,则集合A有 个子集, 个真子集. §1.1.3、集合间的基本运算 1、一般地,由所有属于集合A或集合B的元素组成的集合,称为集合A与B的并集.记作: . 2、一般地,由属于集合A且属于集合B的所有元素组成的集合,称为A与B的交集.记作: . 3、全集、补集? §1.2.1、函数的概念
1、设A、B是非空的数集,如果按照某种确定的对应关系 ,使对于集合A中的任意一个数 ,在集合B中都有惟一确定的数 和它对应,那么就称 为集合A到集合B的一个函数,记作: . 2、一个函数的构成要素为:定义域、对应关系、值域.如果两个函数的定义域相同,并且对应关系完全一致,则称这两个函数相等. §1.2.2、函数的表示法 1、函数的三种表示方法:解析法、图象法、列表法. §1.3.1、单调性与最大(小)值 1、注意函数单调性的证明方法: (1)定义法:设 那么 上是增函数; 上是减函数. 步骤:取值—作差—变形—定号—判断 格式:解:设
总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项 时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n个变元共有n2个极小项或极大项,这n2为(0~n2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P规则,T规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取^;
3.既有存在又有全称量词时,先消存在量词,再消全称量词; 第四章集合 1.N,表示自然数集,1,2,3……,不包括0; 2.基:集合A中不同元素的个数,|A|; 3.幂集:给定集合A,以集合A的所有子集为元素组成的集合,P(A); 4.若集合A有n个元素,幂集P(A)有n2个元素,|P(A)|=||2A=n2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 第五章关系 1.若集合A有m个元素,集合B有n个元素,则笛卡尔A×B的基数为mn,A到B上可以定义m n 2种不同的关系; 2.若集合A有n个元素,则|A×A|=2n,A上有22n个不同的关系; 3.全关系的性质:自反性,对称性,传递性; 空关系的性质:反自反性,反对称性,传递性;
集合知识点总结 一、集合的概念 教学目标:理解集合、子集的概念,能利用集合中元素的性质解决问 题,掌握集合问题的常规处理方法. 教学重点:集合中元素的3个性质,集合的3种表示方法,集合语言、集合思想的运用.: 一)主要知识: 1.集合、子集、空集的概念; 2.集合中元素的3个性质,集合的3 种表示方法; 3. 若有限集A有n个元素,则A的子集有2n个,真子集有2n 1,非空子集有2n 1个,非空真子集有2n 2个. 二、集合的运算 教学目标:理解交集、并集、全集、补集的概念,掌握集合的运算性 质,能利用数轴或文氏图进行集合的运算,进一步掌握 集合问题的常规处理方法. 教学重点:交集、并集、补集的求法,集合语言、集合思想的运用. 一)主要知识: 1. 交集、并集、全集、补集的概念; 2. AI B A A B,AUB A A B; 3. C U AI C U B C U (AUB),C U AUC U B C U(AI B). 二)主要方法: 1. 求交集、并集、补集,要充分发挥数轴或文氏图的作用;
2.含参数的问题,要有讨论的意识,分类讨论时要防止在空集上出 问题; 3.集合的化简是实施运算的前提,等价转化常是顺利解题的关键. 考点要点总结与归纳 一、集合有关概念 1. 集合的概念:能够确切指定的一些对象的全体。 2. 集合是由元素组成的 集合通常用大写字母A、B、C,…表示,元素常用小写字母a b、c, …表示。 3. 集合中元素的性质:确定性,互异性,无序性。 (1)确定性:一个元素要么属于这个集合,要么不属于这个集 合,绝无模棱两可的情况。如:世界上最高的山 (2)互异性:集合中的元素是互不相同的个体,相同的元素只能 出现一次。如:由HAPPY 的字母组成的集合{H,A,P,Y} ( 3)无 序性:集合中的元素在描述时没有固定的先后顺序。 女口:{a,b,c}和{a,c,b}是表示同一个集合 4. 元素与集合的关系 (1)元素a是集合A中的元素,记做a€ A,读作“ a属于集合A”; (2)元素a不是集合A中的元素,记做a?A,读作“a不属于集合A”。 5. 集合的表示方法:自然语言法, 列举法,描述法,图示法。 ( 1)自然语言法:用文字叙述的形式描述集合。如大于等于2 且小于等于8 的偶数
高一数学集合知识点归纳及典型例题 一、知识点: 本周主要学习集合的初步知识,包括集合的有关概念、集合的表示、集合之间的关系及集合的运算等。在进行集合间的运算时要注意使用Venn图。 本章知识结构 1、集合的概念 教材中对集合的概念进行了描述性说明:“一般地,把一些能够确定的不同的对象看成一个整体,就说这个整体是由这些对象的全体构成的集合(或集)”。理解这句话,应该把握4个关键词:对象、确定的、不同的、整体。 对象――即集合中的元素。集合是由它的元素唯一确定的。 整体――集合不是研究某一单一对象的,它关注的是这些对象的全体。 确定的――集合元素的确定性――元素与集合的“从属”关系。 不同的――集合元素的互异性。 2、有限集、无限集、空集的意义 有限集和无限集是针对非空集合来说的。我们理解起来并不困难。 我们把不含有任何元素的集合叫做空集,记做Φ。理解它时不妨思考一下“0与Φ”及“Φ与{Φ}”
的关系。 几个常用数集N、N*、N+、Z、Q、R要记牢。 3、集合的表示方法 (1)列举法的表示形式比较容易掌握,并不是所有的集合都能用列举法表示,同学们需要知道能用列举法表示的三种集合: ①元素不太多的有限集,如{0,1,8} ②元素较多但呈现一定的规律的有限集,如{1,2,3, (100) ③呈现一定规律的无限集,如{1,2,3,…,n,…} ●注意a与{a}的区别 ●注意用列举法表示集合时,集合元素的“无序性”。 (2)特征性质描述法的关键是把所研究的集合的“特征性质”找准,然后适当地表示出来就行了。但关键点也是难点。学习时多加练习就可以了。 另外,弄清“代表元素”也是非常重要的。如{x|y=x2},{y|y=x2},{(x,y)|y=x2}是三个不同的集合。 4、集合之间的关系 ●注意区分“从属”关系与“包含”关系 “从属”关系是元素与集合之间的关系。 “包含”关系是集合与集合之间的关系。掌握子集、真子集的概念,掌握集合相等的概念,学会正确使用“”等符号,会用Venn图描述集合之间的关系是基本要求。 ●注意辨清Φ与{Φ}两种关系。 5、集合的运算 集合运算的过程,是一个创造新的集合的过程。在这里,我们学习了三种创造新集合的方式:交集、并集和补集。 一方面,我们应该严格把握它们的运算规则。同时,我们还要掌握它们的运算性质
离散数学必备知识点总 结 Document number:NOCG-YUNOO-BUYTT-UU986-1986UT
总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n个变元共有n2个极小项或极大项,这n2为(0~n2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P规则,T规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n个个体,多元谓词描述个体之间的关系;
2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 第四章集合 1.N,表示自然数集,1,2,3……,不包括0; 2.基:集合A中不同元素的个数,|A|; 3.幂集:给定集合A,以集合A的所有子集为元素组成的集合,P(A); 4.若集合A有n个元素,幂集P(A)有n2个元素,|P(A)|=||2A=n2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 第五章关系 1.若集合A有m个元素,集合B有n个元素,则笛卡尔A×B的基 2种不同的关系; 数为mn,A到B上可以定义mn 2.若集合A有n个元素,则|A×A|=2n,A上有22n个不同的关系;
*第三章消解原理 斯柯伦标准形 内容提要 我们约定,本章只讨论不含自由变元的谓词公式(也称语句,sentences),所说前束范式均指前束合取范式。 全称量词的消去是简单的。因为约定只讨论语句,所以可将全称量词全部省去,把由此出现于公式中的“自由变元”均约定为全称量化的变元。例如A(x)实指xA(x)。 存在量词的消去要复杂得多。考虑xA(x)。 (1)当A(x)中除x外没有其它自由变元,那么,我们可以像在自然推理系统中所做那样,可引入A(e/x),其中e为一新的个体常元,称e为斯柯伦(Skolem)常元,用A(e/x)代替xA(x),但这次我们不把A(e/x)看作假设,详见下文。 (2)当A中除x外还有其它自由变元y1,…,y n,那么xA(x, y1,…,y n) 来自于y1…y n xA(x, y1,…,y n),其中“存在的x”本依赖于y1,…,y n的取值。因此简单地用A(e/x, y1,…,y n)代替xA(x, y1,…,y n) 是不适当的,应当反映出x对y1,…,y n的依赖关系。为此引入函数符号f,以A(f(y1,…,y n)/x, y1,…,y n) 代替xA(x, y1,…,y n),它表示:对任意给定的y1,…,y n, 均可依对应关系f确定相应的x,使x, y1,…,y n满足A。这里f是一个未知的确定的函数,因而应当用一个推理中尚未使用过的新函数符号,称为斯柯伦函数。 定理(斯柯伦定理)对任意只含自由变元x, y1,…,y n的公式A(x, y1,…,y n),xA(x, y1,…,y n)可满足,当且仅当A(f(y1,…,y n), y1,…,y n)可满足。这里f为一新函数符号;当n = 0时,f为新常元。 定义设公式A的前束范式为B。C是利用斯柯伦常元和斯柯伦函数消去B中量词(称斯柯伦化)后所得的合取范式,那么称C为A的斯柯伦标准形(Skolem normal form)。 以下我们约定:斯柯伦标准形中,各子句之间没有相同的变元。 定义子句集S称为是可满足的,如果存在一个个体域和一种解释,使S中的每一个子句均为真,或者使得S的每一个子句中至少有一个文字为真。否则, 称子句集S是不可满足的。 习题解答 练习 1、求下列各式的斯柯伦标准形和子句集。 (1)┐(xP(x)→y zQ(y, z)) (2)x(┐E(x, 0)→y(E(y, g(x))∧z(E(z, g(x))→E(y, z)))) (3)┐(xP(x)→y P(y)) (4)(1)∧(2)∧(3) 解(1)┐(xP(x)→y zQ(y, z))┝┥┐xP(x)∧y zQ(y, z) ┝┥x┐P(x)∧y zQ(y, z) 斯柯伦标准形:┐P(e1)∧Q(e2, z) 子句集:{┐P(e1),Q(e2, z)} (2)x(┐E(x, 0)→y(E(y, g(x))∧z(E(z, g(x))→E(y, z)))) ┝┥x y z (E(x, 0)∨(E(y, g(x))∧(┐E(z, g(x))∨E(y, z)))) ┝┥x y z ((E(x, 0)∨E(y, g(x)))∧(E(x, 0)∨┐E(z, g(x))∨E(y, z))) 斯柯伦标准形:(E(x, 0)∨E(f(x), g(x)))∧(E(x, 0)∨┐E(z, g(x))∨E(f(x), z))子句集:{ E(x, 0)∨E(f(x), g(x)), E(x, 0)∨┐E(z, g(x))∨E(f(x), z)} (3)┐(xP(x)→y P(y))┝┥xP(x)∧┐y P(y) ┝┥xP(x)∧y┐P(y) ┝┥x y (P(x)∧┐P(y)) 斯柯伦标准形:P(x)∧┐P(y) 子句集:{P(x),┐P(y) }
高考数学集合专项知识点总结为了帮助大家能够对自己多学的知识点有所巩固,下文整理了这篇数学集合专项知识点,希望可以帮助到大家! 一.知识归纳: 1.集合的有关概念。 1)集合(集):某些指定的对象集在一起就成为一个集合(集).其中每一个对象叫元素 注意:①集合与集合的元素是两个不同的概念,教科书中是通过描述给出的,这与平面几何中的点与直线的概念类似。 ②集合中的元素具有确定性(a?A和a?A,二者必居其一)、互异性(若a?A,b?A,则a≠b)和无序性({a,b}与{b,a}表示同一个集合)。 ③集合具有两方面的意义,即:凡是符合条件的对象都是它的元素;只要是它的元素就必须符号条件 2)集合的表示方法:常用的有列举法、描述法和图文法 3)集合的分类:有限集,无限集,空集。 4)常用数集:N,Z,Q,R,N* 2.子集、交集、并集、补集、空集、全集等概念。 1)子集:若对x∈A都有x∈B,则A B(或A B); 2)真子集:A B且存在x0∈B但x0 A;记为A B(或,且) 3)交集:A∩B={x| x∈A且x∈B} 4)并集:A∪B={x| x∈A或x∈B}
5)补集:CUA={x| x A但x∈U} 注意:①? A,若A≠?,则? A ; ②若,,则; ③若且,则A=B(等集) 3.弄清集合与元素、集合与集合的关系,掌握有关的术语和符号,特别要注意以下的符号:(1) 与、?的区别;(2) 与的区别;(3) 与的区别。 4.有关子集的几个等价关系 ①A∩B=A A B;②A∪B=B A B;③A B C uA C uB; ④A∩CuB = 空集CuA B;⑤CuA∪B=I A B。 5.交、并集运算的性质 ①A∩A=A,A∩? = ?,A∩B=B∩A;②A∪A=A,A∪? =A,A∪B=B∪A; ③Cu (A∪B)= CuA∩CuB,Cu (A∩B)= CuA∪CuB; 6.有限子集的个数:设集合A的元素个数是n,则A有2n 个子集,2n-1个非空子集,2n-2个非空真子集。 二.例题讲解: 【例1】已知集合 M={x|x=m+ ,m∈Z},N={x|x= ,n∈Z},P={x|x= ,p∈Z},则M,N,P满足关系 A) M=N P B) M N=P C) M N P D) N P M 分析一:从判断元素的共性与区别入手。
离散数学 一、逻辑和证明 1.1命题逻辑 命题:是一个可以判断真假的陈述句。 联接词:∧、∨、→、?、?。记住“p仅当q”意思是“如果p,则q”,即p→。记住“q除非p”意思是“?p→q”。会考察条件语句翻译成汉语。 系统规范说明的一致性是指系统没有可能会导致矛盾的需求,即若pq无论取何值都无法让复合语句为真,则该系统规范说明是不一致的。 1.3命题等价式 逻辑等价:在所有可能情况下都有相同的真值的两个复合命题,可以用真值表或者构造新的逻辑等价式。
谓词+量词变成一个更详细的命题,量词要说明论域,否则没有意义,如果有约束条件就直接放在量词后面,如?x>0P(x)。 当论域中的元素可以一一列举,那么?xP(x)就等价于P(x1)∧P(x2)...∧P(xn)。同理,?xP(x)就等价于P(x1)∨P(x2)...∨P(xn)。 两个语句是逻辑等价的,如果不论他们谓词是什么,也不论他们的论域是什么,他们总有相同的真值,如?x(P(x)∧Q(x))和(?xP(x))∧(?xQ(x))。 量词表达式的否定:??xP(x) ??x?P(x),??xP(x) ??x?P(x)。 1.5量词嵌套 我们采用循环的思考方法。量词顺序的不同会影响结果。语句到嵌套量词语句的翻译,注意论域。嵌套量词的否定就是连续使用德摩根定律,将否定词移入所有量词里。 1.6推理规则 一个论证是有效的,如果它的所有前提为真且蕴含着结论为真。但有效论证
二、集合、函数、序列、与矩阵 2.1集合 ∈说的是元素与集合的关系,?说的是集合与集合的关系。常见数集有N={0,1,2,3...},Z整数集,Z+正整数集,Q有理数集,R实数集,R+正实数集,C复数集。 A和B相等当仅当?x(x∈A?x∈B);A是B的子集当仅当?x(x∈A→x∈B);A是B的真子集当仅当?x(x∈A→x∈B)∧?x(x?A∧x∈B)。 幂集:集合元素的所有可能组合,肯定有?何它自身。如?的幂集就是{?},而{?}的幂集是{?,{?}}。 考虑A→B的函数关系,定义域、陪域(实值函数、整数值函数)、值域、像集(定义域的一个子集在值域的元素集合)。 一对一或者单射:B可能有多余的元素,但不重复指向。 映上或者满射:B中没有多余的元素,但可能重复指向。 一一对应或者双射:符合上述两种情况的函数关系。 反函数:如果是一一对应的就有反函数,否则没有。 合成函数:fοg(a)=f(g(a)),一般来说交换律不成立。 2.4序列 无限集分为:一组是和自然数集合有相同基数,另一组是没有相同基数。前者是可数的,后者不可数。想要证明一个无限集是可数的只要证明它与自然数之间有一一对应的关系。 如果A和B是可数的,则A∪B也是可数的。
集合概念 一:集合有关概念 1.集合的含义:集合为一些确定的、不同的东西的全体,人们能意识到这些东西, 并且能判断一个给定的东西是否属于这个整体。 2.一般的研究对象统称为元素,一些元素组成的总体叫集合,简称为集。 3.集合的中元素的三个特性: (1)元素的确定性:集合确定,则一元素是否属于这个集合是确定的:属于或不属于。 例:世界上最高的山、中国古代四大美女、教室里面所有的人…… (2)元素的互异性:一个给定集合中的元素是唯一的,不可重复的。 例:由HAPPY的字母组成的集合{H,A,P,Y} (3)元素的无序性:集合中元素的位置是可以改变的,并且改变位置不影响集合 例:{a,b,c}和{a,c,b}是表示同一个集合 3.集合的表示:{…} 如:{我校的篮球队员},{太平洋,大西洋,印度洋,北冰洋} (1)用大写字母表示集合:A={我校的篮球队员},B={1,2,3,4,5} (2)集合的表示方法:列举法与描述法。 1)列举法:将集合中的元素一一列举出来 {a,b,c……} 2)描述法:将集合中元素的公共属性描述出来,写在大括号内表示集合。 {x∈R| x-3>2} ,{x| x-3>2} ①语言描述法:例:{不是直角三角形的三角形} 4、集合的分类: (1)有限集:含有有限个元素的集合 (2)无限集:含有无限个元素的集合 (3)空集:不含任何元素的集合例:{x|x2=-5} 5、元素与集合的关系: (1)元素在集合里,则元素属于集合,即:a∈A (2)元素不在集合里,则元素不属于集合,即:a A 注意:常用数集及其记法: 非负整数集(即自然数集)记作:N 正整数集 N*或 N+ 整数集Z 有理数集Q 实数集R 二、集合间的基本关系 1.“包含”关系—子集 (1)定义:如果集合A的任何一个元素都是集合B的元素,我们说这两个集合有 A?(或B?A) 包含关系,称集合A是集合B的子集。记作:B A?有两种可能(1)A是B的一部分,; 注意:B (2)A与B是同一集合。 ?/B或B?/A 反之: 集合A不包含于集合B,或集合B不包含集合A,记作A 2.“相等”关系:A=B (5≥5,且5≤5,则5=5) 实例:设 A={x|x2-1=0} B={-1,1} “元素相同则两集合相等” 即:①任何一个集合是它本身的子集。A?A ②真子集:如果A?B,且A≠B那就说集合A是集合B的真子集,记作A B(或B A) 或若集合A?B,存在x∈B且x A,则称集合A是集合B的真子集。 ③如果 A?B, B?C ,那么 A?C ④如果A?B 同时 B?A 那么A=B 3. 不含任何元素的集合叫做空集,记为Φ 规定: 空集是任何集合的子集,空集是任何非空集合的真子集。
集合基础知识及题型归纳总结 1、集合概念与特征: 例:1.下列各项中,不可以组成集合的是( ) A .所有的正数 B .等于2的数 C .接近于0的数 D .不等于0的偶数 例:下列命题正确的有( ) (1)很小的实数可以构成集合; (2)集合{}1|2-=x y y 与集合(){} 1|,2-=x y y x 是同一个集合; (3)36 11,,,,0.5242 -这些数组成的集合有5个元素; (4)集合(){}R y x xy y x ∈≤,,0|,是指第二和第四象限内的点集。 A .0个 B .1个 C .2个 D .3个 2、元素与集合、集合与集合间的关系 元素集合的关系:∈?或 集合与集合的关系=?或 例:下列式子中,正确的是( ) A .R R ∈+ B .{}Z x x x Z ∈≤?-,0| C .空集是任何集合的真子集 D .{}φφ∈ 3、集合的子集:(必须会写出一个集合的所有子集) 例:若集合}8,7,6{=A ,则满足A B A =?的集合B 的个数是 4、集合的运算:(交集、并集、补集) 例1:已知全集}{5,4,3,2,1,0=U ,集合}{5,3,0=M ,}{5,4,1=N ,则=N C M U I 例2:已知 {}{}=|3217,|2A x x B x x -<-≤=< (1)求A ∩B ; (2)求(C U A )∪B 例3:已知{25}A x x =-≤≤,{121}B x m x m =+≤≤-,B A ?,求m 的取值范围 例4:某班有学生55人,其中体育爱好者43人,音乐爱好者34人,还有4人既不爱好体育也不爱好音乐,则该班既爱好体育又爱好音乐的人数为 人 例5:方程组? ??=-=+9122y x y x 的解集是( ) A .()5,4 B .()4,5- C .(){}4,5- D .(){}4,5-
数理逻辑部分 第2章一阶逻辑 2.1 一阶逻辑基本概念 个体词(个体): 所研究对象中可以独立存在的具体或抽象的客体个体常项:具体的事物,用a, b, c表示 个体变项:抽象的事物,用x, y, z表示 个体域: 个体变项的取值范围 有限个体域,如{a, b, c}, {1, 2} 无限个体域,如N, Z, R, … 全总个体域: 宇宙间一切事物组成 谓词: 表示个体词性质或相互之间关系的词 谓词常项:F(a):a是人 谓词变项:F(x):x具有性质F 一元谓词: 表示事物的性质 多元谓词(n元谓词, n≥2): 表示事物之间的关系 如L(x,y):x与y有关系L,L(x,y):x≥y,… 0元谓词: 不含个体变项的谓词, 即命题常项或命题变项 量词: 表示数量的词 全称量词?: 表示任意的, 所有的, 一切的等 如?x 表示对个体域中所有的x
存在量词?: 表示存在, 有的, 至少有一个等 如?x表示在个体域中存在x 一阶逻辑中命题符号化 例1 用0元谓词将命题符号化 要求:先将它们在命题逻辑中符号化,再在一阶逻辑中符号化(1) 墨西哥位于南美洲 在命题逻辑中, 设p:墨西哥位于南美洲 符号化为p, 这是真命题 在一阶逻辑中, 设a:墨西哥,F(x):x位于南美洲 符号化为F(a) 例2 在一阶逻辑中将下面命题符号化 (1)人都爱美; (2) 有人用左手写字 分别取(a) D为人类集合, (b) D为全总个体域 . 解:(a) (1) 设G(x):x爱美, 符号化为?x G(x) (2) 设G(x):x用左手写字, 符号化为?x G(x) (b) 设F(x):x为人,G(x):同(a)中
集合知识点总结 Prepared on 22 November 2020
辅导讲义:集合与常用逻辑用语 1、集合:一定范围内某些确定的、不同的对象的全体构成一个集合。集合中的每一个对象称为该集合的元素。 集合的常用表示法:列举法、描述法。 集合元素的特征:确定性、互异性、无序性。 2、子集:如果集合A 的任意一个元素都是集合B 的元素,那么集合A 称为集合B 的子集,记为 A ? B ,或B ?A ,读作“集合A 包含于集合B ”或“集合B 包含集合A ”。 即:若A a ∈则B a ∈,那么称集合A 称为集合B 的子集 注:空集是任何集合的子集。 3、真子集:如果A ?B ,并且B A ≠,那么集合A 成为集合B 的真子集,记为A ?B 或B ?A ,读作“A 真包含于B 或B 真包含A ”,如:}{}{b a a ,?。 4、补集:设A ?S ,由S 中不属于A 的所有元素组成的集合称为S 的子集A 的补集,记为A C s ,读作“A 在S 中的补集”,即A C s =}{A x S x x ?∈且,|。 5、全集:如果集合S 包含我们所要研究的各个集合,这时S 可以看作一个全集。通常全集记作 U 。 6、交集:一般地,由所有属于集合A 且属于B 的元素构成的集合,称为A 与B 的交集,记作 B A ?(读作“A 交B ”),即:B A ?=}{B x A x x ∈∈且,|。 B A ?=A B ?,B A ?B B A A ???,。 7、并集:一般地,由所有属于集合A 或属于B 的元素构成的集合,称为A 与B 的并集,记作 B A ?(读作“A 并B ”),即:B A ?=}{B x A x x ∈∈或,|。 B A ?=A B ?,?A B A ?,?B B A ?。 8、元素与集合的关系:有属于和不属于两种,集合与集合间的关系,用包含、真包含
高中数学必修1知识点 集合 123412n x A x B A B A B A n A ∈??? ????? ∈?∈?()元素与集合的关系:属于()和不属于()()集合中元素的特性:确定性、互异性、无序性集合与元素()集合的分类:按集合中元素的个数多少分为:有限集、无限集、空集()集合的表示方法:列举法、描述法(自然语言描述、特征性质描述)、图示法、区间法子集:若 ,则,即是的子集。、若集合中有个元素,则集合的子集有个, 注关系集合集合与集合{}00(2-1)23,,,,.4/n A A A B C A B B C A C A B A B x B x A A B A B A B A B A B x x A x B A A A A A B B A A B ??????????? ???????????≠∈?????=???=∈∈?=??=??=???真子集有个。、任何一个集合是它本身的子集,即 、对于集合如果,且那么、空集是任何集合的(真)子集。 真子集:若且(即至少存在但),则是的真子集。集合相等:且 定义:且交集性质:,,,运算{}{},/()()()-()/()()()()()()U U U U U U U U A A B B A B A B A A B x x A x B A A A A A A B B A A B A A B B A B A B B Card A B Card A Card B Card A B C A x x U x A A C A A C A A U C C A A C A B C A C B ????????=????=∈∈???=??=?=????????=???=+?=∈?=?=??==?=?,定义:或并集性质:,,,,, 定义:且补集性质:,,,, ()()()U U U C A B C A C B ????? ?? ?? ?? ?? ?????????? ???????? ??????????????????????? ?????????????????????=??????? 第一章集合与函数概念 【1.1.1】集合的含义与表示 (1)集合的概念 把某些特定的对象集在一起就叫做集合. (2)常用数集及其记法 N 表示自然数集,N *或N +表示正整数集,Z 表示整数集,Q 表示有理数集,R 表示实数集. (3)集合与元素间的关系
离散数学笔记 第一章命题逻辑 合取 析取 定义 1. 1.3否定:当某个命题为真时,其否定为假,当某个命题为假时,其否定为真定义 1. 1.4条件联结词,表示“如果……那么……”形式的语句 定义 1. 1.5双条件联结词,表示“当且仅当”形式的语句 定义 1.2.1合式公式 (1)单个命题变元、命题常元为合式公式,称为原子公式。 (2)若某个字符串A 是合式公式,则?A、(A)也是合式公式。 (3)若A、B 是合式公式,则A ∧B、A∨B、A→B、A?B 是合式公式。 (4)有限次使用(2)~(3)形成的字符串均为合式公式。 1.3等值式 1.4析取范式与合取范式
将一个普通公式转换为范式的基本步骤
1.6推理 定义 1.6.1 设 A 与 C 是两个命题公式, 若 A → C 为永真式、 重言式,则称 C 是 A 的有 效结论,或称 A 可以逻辑推出 C ,记为 A => C 。(用等值演算或真值表) 第二章 谓词逻辑 2.1、基本概念 ?:全称量词 ?:存在量词 一般情况下, 如果个体变元的取值范围不做任何限制即为全总个体域时, 带 “全称量词”的谓词公式形如"?x(H(x)→B(x)),即量词的后面为条件式,带“存在量词”的谓词公式形如?x(H(x)∨WL(x)),即量词的后面为合取式 例题 R(x)表示对象 x 是兔子,T(x)表示对象 x 是乌龟, H(x,y)表示 x 比 y 跑得快,L(x,y)表示x 与 y 一样快,则兔子比乌龟跑得快表示为: ?x ?y(R(x)∧T(y)→H(x,y)) 有的兔子比所有的乌龟跑得快表示为:?x ?y(R(x)∧T(y)→H(x,y)) 2.2、谓词公式及其解释 定义 2.2.1、 非逻辑符号: 个体常元(如 a,b,c)、 函数常元(如表示22 y x 的 f(x,y))、 谓词常元(如表示人 类的 H(x))。 定义 2.2.2、逻辑符号:个体变元、量词(??)、联结词(﹁∨∧→?)、逗号、括号。 定义 2.2.3、项的定义:个体常元、变元及其函数式的表达式称为项(item)。 定义 2.2.4、原子公式:设 R(n x x ... 1)是 n 元谓词,n t t ...1是项,则 R(t)是原子公式。原子公式中的个体变元,可以换成个体变元的表达式(项),但不能出现任何联结词与量词,只能为单个的谓词公式。 定义 2.2.5 合式公式:(1)原子公式是合式公式;(2)若 A 是合式公式,则(﹁A)也是合式公式;(3)若 A,B 合式,则 A ∨B, A ∧B, A →B , A ?B 合式(4)若 A 合式,则?xA 、?xA 合式(5)有限次使用(2)~(4)得到的式子是合式。 定义 2.2.6 量词辖域:?xA 和?xA 中的量词?x/?x 的作用范围,A 就是作用范围。 定义 2.2.7 约束变元:在?x 和?x 的辖域 A 中出现的个体变元 x ,称为约束变元,这是与量词相关的变元,约束变元的所有出现都称为约束出现。 定义 2.2.8 自由变元:谓词公式中与任何量词都无关的量词,称为自由变元,它的每次出现称为自由出现。一个公式的个体变元不是约束变元,就是自由变元。 注意:为了避免约束变元和自由变元同名出现,一般要对“约束变元”改名,而不对自由变元改名。 定义 2.2.9 闭公式是指不含自由变元的谓词公式
高一数学集合知识点归纳 高一数学的集合学习以及总结需要把集合相关知识点进行归纳,只有把知识点归纳好才可以学好高一数学集合,以下是我总结了高一数学的知识点,希望帮到大家更好地归纳好集合的知识点同时复习好集合。 一、知识点总结 1.集合的有关概念。 1)集合(集):某些指定的对象集在一起就成为一个集合(集).其中每一个对象叫元素 注意:①集合与集合的元素是两个不同的概念,教科书中是通过描述给出的,这与平面几何中的点与直线的概念类似。 ②集合中的元素具有确定性、互异性和无序性({a,b}与{b,a}表示同一个集合)。 ③集合具有两方面的意义,即:凡是符合条件的对象都是它的元素;只要是它的元素就必须符号条件 2)集合的表示方法:常用的有列举法、描述法和图文法 3)集合的分类:有限集,无限集,空集。 4)常用数集:N,Z,Q,R,N* 2.子集、交集、并集、补集、空集、全集等概念。 1)子集:若对x∈A都有x∈B,则AB(或AB); 2)真子集:AB且存在x0∈B但x0A;记为AB(或,且) 3)交集:A∩B={x|x∈A且x∈B}
4)并集:A∪B={x|x∈A或x∈B} 5)补集:CUA={x|xA但x∈U} 3.弄清集合与元素、集合与集合的关系,掌握有关的术语和符号。 4.有关子集的几个等价关系 ①A∩B=AAB;②A∪B=BAB;③ABCuACuB; ④A∩CuB=空集CuAB;⑤CuA∪B=IAB。 5.交、并集运算的性质 ①A∩A=A,A∩B=B∩A;②A∪A=A,A∪B=B∪A; ③Cu(A∪B)=CuA∩CuB,Cu(A∩B)=CuA∪CuB; 6.有限子集的个数:设集合A的元素个数是n,则A有2n个子集,2n-1个非空子集,2n-2个非空真子集。 二、集合知识点整合 集合具有某种特定性质的事物的总体。这里的“事物”可以是人,物品,也可以是数学元素。例如:1、分散的人或事物聚集到一起;使聚集:紧急~。2、数学名词。一组具有某种共同性质的数学元素:有理数的~。3、口号等等。集合在数学概念中有好多概念,如集合论:集合是现代数学的基本概念,专门研究集合的理论叫做集合论。康托(Cantor,G.F.P.,1845年—1918年,德国数学家先驱,是集合论的创始者,目前集合论的基本思想已经渗透到现代数学的所有领域。 集合,在数学上是一个基础概念。什么叫基础概念?基础概念是不能用其他概念加以定义的概念。集合的概念,可通过直观、公理的方法来下“定义”。 集合是把人们的直观的或思维中的某些确定的能够区分的对象汇合在一起,使之成为一个整体(或称为单体),这一整体就是集合。组成一集合的那些对象称
第六章部分课后习题参考答案5.确定下列命题是否为真: (1)? ?真 ? (2)? ?假 ∈ (3)} ?真 {? ? (4)} ?真 ∈ {? (5){a,b}?{a,b,c,{a,b,c}}真 (6){a,b}∈{a,b,c,{a,b}}真 (7){a,b}?{a,b,{{a,b}}}真 (8){a,b}∈{a,b,{{a,b}}}假 6.设a,b,c各不相同,判断下述等式中哪个等式为真: (1){{a,b},c,?}={{a,b},c}假 (2){a ,b,a}={a,b}真 (3){{a},{b}}={{a,b}}假 (4){?,{?},a,b}={{?,{?}},a,b}假 8.求下列集合的幂集: (1){a,b,c}P(A)={ ?,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}} (2){1,{2,3}}P(A)={ ?, {1}, {{2,3}}, {1,{2,3}} } (3){?}P(A)={ ?, {?} } (4){?,{?}}P(A)={ ?, {1}, {{2,3}}, {1,{2,3}} } 14.化简下列集合表达式: (1)(A B) B )-(A B) (2)((A B C)-(B C)) A 解: (1)(A B) B )-(A B)=(A B) B ) ~(A B) =(A B) ~(A B)) B=? B=? (2)((A B C)-(B C)) A=((A B C) ~(B C)) A =(A ~(B C)) ((B C ) ~(B C)) A =(A ~(B C)) ? A=(A ~(B C)) A=A
高一数学集合知识点总结归纳 1.集合的有关概念。 1)集合(集):某些指定的对象集在一起就成为一个集合(集).其中每一个对象叫元素 注意:①集合与集合的元素是两个不同的概念,教科书中是通过描述给出的,这与平面几何中的点与直线的概念类似。 ②集合中的元素具有确定性(a?a和a?a,二者必居其一)、互异性(若a?a,b?a,则a≠b)和无序性({a,b}与{b,a}表示同一个集合)。 ③集合具有两方面的意义,即:凡是符合条件的对象都是它的元素;只要是它的元素就必须符号条件 2)集合的表示方法:常用的有列举法、描述法和图文法 3)集合的分类:有限集,无限集,空集。 4)常用数集:n,z,q,r,n* 2.子集、交集、并集、补集、空集、全集等概念。 1)子集:若对x∈a都有x∈b,则a b(或a b); 2)真子集:a b且存在x0∈b但x0 a;记为a b(或,且 ) 3)交集:a∩b={x| x∈a且x∈b} 4)并集:a∪b={x| x∈a或x∈b} 5)补集:cua={x| x a但x∈u}
注意:①? a,若a≠?,则? a ; ②若,,则 ; ③若且,则a=b(等集) 3.弄清集合与元素、集合与集合的关系,掌握有关的术语和符号,特别要注意以下的符号:(1) 与、?的区别;(2) 与的区别;(3) 与的区别。 4.有关子集的几个等价关系 ①a∩b=a a b;②a∪b=b a b;③a b c ua c ub; ④a∩cub = 空集 cua b;⑤cua∪b=i a b。 5.交、并集运算的性质 ①a∩a=a,a∩? = ?,a∩b=b∩a;②a∪a=a,a∪? =a,a∪b=b∪a; ③cu (a∪b)= cua∩cub,cu (a∩b)= cua∪cub; 6.有限子集的个数:设集合a的元素个数是n,则a有2n个子集,2n-1个非空子集,2n-2个非空真子集。 【例1】已知集合m={x|x=m+ ,m∈z},n={x|x= ,n∈z},p={x|x= ,p∈z},则m,n,p满足关系 a) m=n p b) m n=p c) m n p d) n p m 分析一:从判断元素的共性与区别入手。 解答一:对于集合m:{x|x= ,m∈z};对于集合n:{x|x= ,n ∈z} 对于集合p:{x|x= ,p∈z},由于3(n-1)+1和3p+1都
1.常用公式 p ∧(P →Q)=>Q 假言推论 ┐Q ∧(P →Q)=>┐P 拒取式 ┐p ∧(P ∨Q)=>Q 析取三段式 (P →Q) ∧(Q →R)=>P →R 条件三段式 (PQ) ∧(QR)=>PR 双条件三段式 (P →Q)∧(R →S)∧(P ∧R)=>Q →S 合取构造二难 (P →Q)∧(R →S)∧(P ∨R)=>Q ∨S 析取构造二难 (?x)((Ax)∨(Bx)) <=>( ?x)(Ax)∨(?x)(Bx) (?x)((Ax)∧(Bx)) <=>(?x)(Ax)∧(?x)(Bx) —┐(?x)(Ax) <=>(?x)┐(Ax) —┐(?x)(Ax) <=>(?x)┐(Ax) (?x)(A ∨(Bx)) <=>A ∨(?x)(Bx) (?x)(A ∧(Bx)) <=>A ∧(?x)(Bx) (?x)((Ax)→(Bx)) <=>(?x)(Ax)→(?x)(Bx) (?x)(Ax) →B <=>(?x) ((Ax)→B) (?x)(Ax) →B <=>(?x) ((Ax)→B) A →(?x)(Bx) <=>(?x) (A →(Bx)) A →(?x)(Bx) <=>(?x) (A →(Bx)) (?x)(Ax)∨(?x)(Bx) =>(?x)((Ax)∨(Bx)) (?x)((Ax)∧(Bx)) =>(?x)(Ax)∧(?x)(Bx) (?x)(Ax)→(?x)(Bx) =>(?x)((Ax)→(Bx)) 2.命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P ,Q,R 的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n 个变元共有n 2个极小项或极大项,这n 2为(0~n 2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P 规则,T 规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 3.谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n 个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 4.集合 1.N ,表示自然数集,1,2,3……,不包括0; 2.基:集合A 中不同元素的个数,|A|; 3.幂集:给定集合A ,以集合A 的所有子集为元素组成的集合,P(A); 4.若集合A 有n 个元素,幂集P(A)有n 2个元素,|P(A)|=||2A =n 2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A 的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 5.关系 1.若集合A 有m 个元素,集合B 有n 个元素,则笛卡尔A ×B 的基数为mn ,A 到B 上可以定义mn 2种不同的关系; 2.若集合A 有n 个元素,则|A ×A|=2n ,A 上有22n 个不同的关系; 3.全关系的性质:自反性,对称性,传递性; 空关系的性质:反自反性,反对称性,传递性; 全封闭环的性质:自反性,对称性,反对称性,传递性; 4.前域(domR):所有元素x 组成的集合; 后域(ranR):所有元素y 组成的集合; 5.自反闭包:r(R)=RU Ix ; 对称闭包:s(R)=RU 1-R ; 传递闭包:t(R)=RU 2R U 3R U …… 6.等价关系:集合A 上的二元关系R 满足自反性,对称性和传递性,则R 称为等价关系; 7.偏序关系:集合A 上的关系R 满足自反性,反对称性和传递性,则称R 是A 上的一个偏序关系; 8.covA={