离散数学第二章一阶逻辑知识点总结
数理逻辑部分
第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元谓词, n2): 表示事物之间的关系
如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)中
(1) x (F(x)G(x))
(2) x (F(x)G(x))
这是两个基本公式, 注意这两个基本公式的使用.
例3 在一阶逻辑中将下面命题符号化
(1) 正数都大于负数
(2) 有的无理数大于有的有理数
解注意: 题目中没给个体域, 一律用全总个体域
(1) 令F(x): x为正数, G(y): y为负数, L(x,y): x>y
x(F(x)y(G(y)L(x,y))) 或
x y(F(x)G(y)L(x,y)) 两者等值
(2) 令F(x): x是无理数, G(y): y是有理数,
L(x,y)：x>y
x(F(x)y(G(y)L(x,y)))
或x y(F(x)G(y)L(x,y)) 两者等值几点注意：
1元谓词与多元谓词的区分
无特别要求，用全总个体域
量词顺序一般不能随便颠倒
否定式的使用
思考：
①没有不呼吸的人
②不是所有的人都喜欢吃糖
③不是所有的火车都比所有的汽车快
以上命题应如何符号化？
2.2 一阶逻辑合式公式及解释字母表
定义字母表包含下述符号：
(1) 个体常项：a, b, c, …, a i, b i, c i, …, i1
(2) 个体变项：x, y, z, …, x i, y i, z i, …, i 1
(3) 函数符号：f, g, h, …, f i, g i, h i, …, i1
(4) 谓词符号：F, G, H, …, F i, G i, H i, …, i1
(5) 量词符号：,
(6) 联结词符号：, , , ,
(7) 括号与逗号：(, ), ，
定义项的定义如下：
(1) 个体常项和个体变项是项.
(2) 若(x1, x2, …, x n)是任意的n元函数，t1,t2,…,t n
是任意的n个项，则(t1, t2, …, t n) 是项.
(3) 所有的项都是有限次使用(1), (2) 得到的.
个体常项、变项是项，由它们构成的n元函数和复
合函数还是项
定义设R(x1, x2, …, x n)是任意的n元谓词，t1,t2,…, t n
是任意的n个项，则称R(t1, t2, …, t n)是原子公式.
原子公式是由项组成的n元谓词.
例如，F(x,y), F(f(x1,x2),g(x3,x4))等均为原子公式
定义合式公式（简称公式）定义如下：
(1) 原子公式是合式公式.
(2) 若A是合式公式，则(A)也是合式公式
(3) 若A, B是合式公式，则(A B), (A B), (A B),
(A B)也是合式公式
(4) 若A是合式公式，则xA, xA也是合式公式
(5) 只有有限次地应用(1)~(4)形成的符号串是合
式公式.
请举出几个合式公式的例子.
定义在公式xA和xA中，称x为指导变元，A为相应量词的辖域. 在x和x的辖域中，x的所有出现都称为约束出现，A中不是约束出现的其他变项均称
为是自由出现的.
例如, 在公式x(F(x,y)G(x,z)) 中,
A=(F(x,y)G(x,z))为x的辖域，
x为指导变元, A中x的两次出现均为约束出现，
y与z均为自由出现.
闭式: 不含自由出现的个体变项的公式.
给定公式A=x(F(x)G(x))
成真解释: 个体域N, F(x): x>2, G(x): x>1
代入得A=x(x>2x>1) 真命题
成假解释: 个体域N, F(x): x>1, G(x): x>2
代入得A=x(x>1x>2) 假命题
问: xF(x)x F(x) 有成真解释吗？
xF(x)x F(x) 有成假解释吗？
被解释的公式不一定全部包含解释中的4部分.
闭式在任何解释下都是命题，
注意不是闭式的公式在某些解释下也可能是命题.
永真式（逻辑有效式）：无成假赋值
矛盾式（永假式）：无成真赋值
可满足式：至少有一个成真赋值
几点说明：
永真式为可满足式，但反之不真
谓词公式的可满足性（永真性,永假性)是不可判
定的
利用代换实例可判某些公式的类型
定义设A0是含命题变项p1, p2, …,p n的命题公式，
A1,A2,…,A n是n个谓词公式，用A i处处代替A0中的p i (1i n)，所得公式A称为A0的代换实例.
例如:
F(x)G(x), xF(x)yG(y) 等都是p q的换实例，x(F(x)G(x)) 等不是p q 的代换实例.
定理重言式的代换实例都是永真式，矛盾式的代换实例都是矛盾式.
2.3 一阶逻辑等值式
等值式定义若A B为逻辑有效式，则称A与B是等值的，记作A B，并称A B为等值式.
基本等值式:
命题逻辑中16组基本等值式的代换实例
如，xF(x)yG(y) xF(x)yG(y)
(xF(x)yG(y)) xF(x)yG(y) 等消去量词等值式设D={a1,a2,…,a n}
xA(x)A(a1)A(a2)…A(a n)
xA(x)A(a1)A(a2)…A(a n)
量词否定等值式
设A(x)是含x自由出现的公式
xA(x)x A(x)
xA(x)x A(x)
量词分配等值式
x(A(x)B(x))xA(x)xB(x)
x(A(x)B(x))xA(x)xB(x)
注意：对无分配律，对无分配律
例将下面命题用两种形式符号化
(1) 没有不犯错误的人
(2) 不是所有的人都爱看电影
解(1) 令F(x)：x是人，G(x)：x犯错误.
x(F(x)G(x))
x(F(x)G(x))
请给出演算过程，并说明理由.
(2) 令F(x)：x是人，G(x)：爱看电影.
x(F(x)G(x))
x(F(x)G(x))
给出演算过程，并说明理由.
前束范式定义设A为一个一阶逻辑公式, 若A具有如下形式Q1x1Q2x2…Q k x k B, 则称A为前束范式, 其中Q i(1i k)
为或，B为不含量词的公式.
例如，x y(F(x)(G(y)H(x,y)))
x(F(x)G(x))
是前束范式, 而
x(F(x)y(G(y)H(x,y)))
x(F(x)G(x))
不是前束范式.
定理（前束范式存在定理）一阶逻辑中的任何公
式都存在与之等值的前束范式
注意:
公式的前束范式不惟一
求公式的前束范式的方法: 利用重要等值式、
置换规则、换名规则、代替规则进行等值演算.
换名规则: 将量词辖域中出现的某个约束出现的
个体变项及对应的指导变项，改成其他辖域中未
曾出现过的个体变项符号，公式中其余部分不变，
则所得公式与原来的公式等值.
代替规则: 对某自由出现的个体变项用与原公式
中所有个体变项符号不同的符号去代替，则所得公
式与原来的公式等值.
例求下列公式的前束范式
(1) x(M(x)F(x))
解x(M(x)F(x))
x(M(x)F(x)) （量词否定等值式）
x(M(x)F(x))
两步结果都是前束范式，说明前束范式不惟一.
(2) xF(x)xG(x)
解xF(x)xG(x)
xF(x)x G(x) （量词否定等值式）
x(F(x)G(x)) （量词分配等值式）另有一种形式
xF(x)xG(x)
xF(x)x G(x)
xF(x)y G(y) ( 换名规则)
x y(F(x)G(y)) ( 量词辖域扩张)两种形式是等值的
(3) xF(x)xG(x)
解xF(x)xG(x)
xF(x)x G(x)
x(F(x)G(x)) （为什么？）
或x y(F(x)G(y)) （为什么？）
(4) xF(x)y(G(x,y)H(y))
解xF(x)y(G(x,y)H(y))
zF(z)y(G(x,y)H(y)) （换名规则）
z y(F(z)(G(x,y)H(y))) （为什么？）
或
xF(x)y(G(z,y)H(y)) （代替规则）
x y(F(x)(G(z,y)H(y)))
(5) x(F(x,y)y(G(x,y)H(x,z)))
解用换名规则, 也可用代替规则, 这里用代替规则
x(F(x,y)y(G(x,y)H(x,z)))
x(F(x,u)y(G(x,y)H(x,z)))
x y(F(x,u)G(x,y)H(x,z)))注意：x与y不能颠倒
离散数学必备知识点总结
离散数学必备知识点总 结 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个不同的关系；
离散数学必备知识点总结
总结离散数学知识点 第二章命题逻辑 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.全关系的性质：自反性，对称性，传递性； 空关系的性质：反自反性，反对称性，传递性；
离散数学第二章一阶逻辑知识点总结
数理逻辑部分 第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)中
化学必修二第二章知识点总结
第二章化学反应与能量 第一节化学能与热能 一．化学键与能量变化关系 关系：在任何的化学反应中总伴有能量的变化。 原因：当物质发生化学反应时，从微观来看，断开反应物中的化学键要吸收能量，而形成生成物中的化学键要放出能量。化学键的断裂和形成是化学反应中能量变化的主要原因。一个确定的化学反应在发生过程中是吸收能量还是放出能量，决定于反应物的总能量与生成物的总能量的相对大小。 H2O(g) CO(g)
注：反应条件与吸放热无关。 （3）放热反应与吸热反应的比较 （1）概念：把化学能直接转化为电能的装置叫做原电池。
④闭合回路“成回路” （4）电极名称及发生的反应：“离子不上岸，电子不下水” 外电路：负极——导线——正极 内电路：盐桥中阴离子移向负极的电解质溶液，盐桥中阳离子移向正极的电解质溶液。 负极：较活泼的金属作负极，负极发生氧化反应， 电极反应式：较活泼金属－ne－＝金属阳离子 负极现象：负极溶解，负极质量减少。 正极：较不活泼的金属或非金属作正极，正极发生还原反应， 电极反应式：溶液中阳离子＋ne－＝单质 正极的现象：一般有气体放出或正极质量增加。 （5）原电池正负极的判断方法： ①依据原电池两极的材料： 较活泼的金属作负极（K、Ca、Na太活泼，不能作电极）； 较不活泼金属或可导电非金属（石墨）、氧化物（MnO2）等作正极。 ②根据电流方向或电子流向：（外电路）的电流由正极流向负极；电子则由负极经外电路流向原电池的正极。 ⑤据内电路离子的迁移方向：阳离子流向原电池正极，阴离子流向原电池负极。 “正正负负” ⑥据原电池中的反应类型：“负氧化，正还原” 负极：失电子，电子流出，发生氧化反应，现象通常是电极本身消耗，质量减小。 正极：得电子，电子流入，发生还原反应，现象是常伴随金属的析出或H2的放出。 （6）原电池电极反应的书写方法： （i）原电池反应所依托的化学反应原理是氧化还原反应，负极反应是氧化反应，正极反应是还原反应。因此书写电极反应的方法归纳如下：
离散数学知识点整理
离散数学 一、逻辑和证明 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也是可数的。
数学选修2-1第二章知识点总结
（好好记公式，你们是最棒的，加油，老师与你们一起努力！） 椭圆的几何性质 焦点的位置 焦点在x 轴上 焦点在y 轴上 图形 标准方程 ()22 2210x y a b a b +=>> ()22 2210y x a b a b +=>> 范围 a x a -≤≤且 b y b -≤≤ b x b -≤≤且a y a -≤≤ 顶点 ()1,0a A -、()2,0a A ()10,b B -、()20,b B ()10,a A -、()20,a A ()1,0b B -、()2,0b B 轴长 短轴的长2b = 长轴的长2a = 焦点 ()1,0F c -、()2,0F c ()10,F c -、()20,F c 焦距 ()222122F F c c a b ==- 对称性 关于x 轴、y 轴、原点对称 离心率 )2 2101c b e e a a ==-<< 准线方程 2a x c =± 2 a y c =± 13、设M 是椭圆上任一点，点M 到1F 对应准线的距离为1d ，点M 到2F 对应准线的距离为2d ，则121 2 F F e d d M M = =．
双曲线方程 平面内与两个定点1F ，2F 的距离之差的绝对值等于常数（小于12F F ）的点的轨迹称为双曲线．这两个定点称为双曲线的焦点，两焦点的距离称为双曲线的焦距． 15、双曲线的几何性质： 焦点的位置 焦点在x 轴上 焦点在y 轴上 图形 标准方程 ()22 22 10,0x y a b a b -=>> ()22 22 10,0y x a b a b -=>> 范围 x a ≤-或x a ≥，y R ∈ y a ≤-或y a ≥，x R ∈ 顶点 ()1,0a A -、()2,0a A ()10,a A -、()20,a A 轴长 虚轴的长2b = 实轴的长2a = 焦点 ()1,0F c -、()2,0F c ()10,F c -、()20,F c 焦距 ()222122F F c c a b ==+ 对称性 关于x 轴、y 轴对称，关于原点中心对称
离散数学第一章命题逻辑知识点总结
数理逻辑部分 第1章命题逻辑 命题符号化及联结词 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 感叹句、祈使句、疑问句都不是命题，陈述句中的悖论以及判断结果不惟一确定的也不是命题。 简单命题(原子命题)：简单陈述句构成的命题 复合命题：由简单命题与联结词按一定规则复合而成的命题 简单命题符号化 用小写英文字母p, q, r, … ,p i,q i,r i (i≥1）表示 简单命题 用“1”表示真，用“0”表示假 例如，令p：是有理数，则p 的真值为 0 q：2 + 5 = 7，则q 的真值为 1 联结词与复合命题 1.否定式与否定联结词“” 定义设p为命题，复合命题“非p”（或“p的否定”）称 为p的否定式，记作p. 符号称作否定联结词，并规定p为真当且仅当p为假. 2.合取式与合取联结词“∧” 定义设p,q为二命题,复合命题“p并且q”(或“p与q”)称为p与q 的合取式，记作p∧q. ∧称作合取联结词，并规定 p∧q为真当且仅当p 与q同时为真 注意：描述合取式的灵活性与多样性 分清简单命题与复合命题 例将下列命题符号化. (1) 王晓既用功又聪明. (2) 王晓不仅聪明，而且用功. (3) 王晓虽然聪明，但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 解令p：王晓用功，q：王晓聪明，则 (1) p∧q (2) p∧q (3) p∧q. 令r : 张辉是三好学生，s :王丽是三好学生 (4) r∧s. (5) 令t : 张辉与王丽是同学，t 是简单命题 . 说明:
物理必修一第二章知识点总结
第二章探究匀变速运动的规律 专题一:自由落体运动 1．定义：物体从静止开始下落，并只受重力作用的运动。 2．规律：初速为0的匀加速运动，位移公式：22 1gt h =，速度公式：v=gt 3．两个重要比值：相等时间内的位移比1：3：5……，相等位移上的时间比(:1).....23(:)12-- 专题二:匀变速直线运动的规律 1.（以下公式全是适用于匀变速运动）常用的匀变速运动的公式:○ 1v t =v 0+at ○2x=v 0t+at 2 /2 ○ 3v t 2-v 02=2ax ○42/02 t t v v v v =+=-x=(v 0+v t )t/2 ○52aT x =?（一定是连续相等的时间内） （1）．上述各量中除t 外其余均矢量，在运用时一般选择取v 0的方向为正方向，若该量与v 0的方向相同则取为正值，反之为负。对已知量代入公式时要带上正负号，对未知量一般假设为正，若结果是正值，则表示与v 0方向相同，反之则表示与V 0方向相反。 另外，在规定v 0方向为正的前提下，若a 为正值，表示物体作加速运动，若a 为负值，则表示物体作减速运动；若v 为正值，表示物体沿正方向运动，若v 为负值，表示物体沿反向运动；若s 为正值，表示物体位于出发点的前方，若S 为负值，表示物体位于出发点之后。 （2）．注意：以上各式仅适用于匀变速直线运动，包括有往返的情况，对匀变速曲线运动和变加速运动均不成立。 专题三．汽车做匀变速运动，追赶及相遇问题 （1）追及 追和被追的两者的速度相等常是能追上、追不上、二者距离有极值的临界条件. 如匀减速运动的物体追从不同地点出发同向的匀速运动的物体时，若二者速度相等了，还没有追上，则永远追不上，此时二者间有最小距离； 若二者相遇时（追上了），追者速度等于被追者的速度，则恰能追上，也是二者避免碰撞的临界条件； 若二者相遇时追者速度仍大于被追者的速度，则被追者还有一次追上追者的机会，其间速度相等时二者的距离有一个较大值. 再如初速度为零的匀加速运动的物体追赶同一地点出发同向匀速运动的物体时，当二者速度相等时二者有最大距离，位移相等即追上. （2）相遇 同向运动的两物体追及即相遇，分析同（1）. 相向运动（两物体对着运动）的物体，当各自发生的位移的绝对值的和等于开始时两物体间的距离时即相遇.
(完整word版)离散数学知识汇总,推荐文档
离散数学笔记 第一章命题逻辑 合取 析取 定义 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 闭公式是指不含自由变元的谓词公式
(物理必修一)第二章知识点总结
(物理必修一)第二章知识点总结
点通传奇专用第二章知识点总结 2.2匀变速直线运动的速度与时间的关系 一、匀变速直线运动 1．定义：沿着一条直线，且不变的运动． 2．匀变速直线运动的v t图象是一条． 分类：(1)速度随着时间的匀变速直线运动，叫匀加速直线运动． (2)速度随着时间的匀变速直线运动，叫做匀减速直线运动． 二、速度与时间的关系式 1．速度公式： 2．对公式的理解：做匀变速直线运动的物体，由于加速度a在数值上等于速度的变化量，所以at就是t时间内；再加上运动开始时物体的，就可以得到t时刻物体的． 一、对匀变速直线运动的认识 1．匀变速直线运动的特点 (1)加速度a恒定不变； (2)v t图象是一条倾斜的直线．
2．分类 匀加速直线运动：速度随着时间均匀增大，加速度a与速度v同向． 匀减速直线运动：速度随着时间均匀减小，加速度a与速度v同向． 二、对速度公式的理解 1．公式v＝v0＋at中各量的物理意义 v0是开始计时时的瞬时速度，称为初速度；v是经时间t后的瞬时速度，称为末速度；at是在时间t内的速度变化量，即Δv＝at. 2．公式的适用条件：做匀变速直线运动的物体 3．注意公式的矢量性 公式中的v0、v、a均为矢量，应用公式解题时，一般取v0的方向为正方向，若物体做匀加速直线运动，a取正值；若物体做匀减速直线运动，a取负值． 4．特殊情况 (1)当v0＝0时，v＝at，即v∝t(由静止开始的匀加速直线运动)． (2)当a＝0时，v＝v0(匀速直线运动)． 针对训练质点在直线上做匀变速直线运动，如图222所示，若在A点时的速度是5 m/s，经过3 s 到达B点时的速度是14 m/s，若再经4 s到达C点，则在C点时的速度多大？ 答案26 m/s 对速度公式的理解 1．一辆以12 m/s的速度沿平直公路行驶的汽车，因发现前方有险情而紧急刹车，刹车后获得大小为4 m/s2的加速度，汽车刹车后5 s末的速度为() A．8 m/s B．14 m/s C．0 D．32 m/s 答案 C 2．火车机车原来的速度是36 km/h，在一段下坡路上加速度为0.2 m/s2.机车行驶到下坡末端，速度增加到54 km/h.求机车通过这段下坡路所用的时间． 答案25 s 12．卡车原来以10 m/s的速度在平直公路上匀速行驶，因为路口出现红灯，司机从较远的地方立即开始刹车，使卡车匀减速前进．当车减速到2 m/s时，交通灯恰好转为绿灯，司机当即放开刹车，并且只用了减速过程一半的时间卡车就加速到原来的速度．从刹车开始到恢复原速的过程用了12 s．求： (1)卡车在减速与加速过程中的加速度； (2)开始刹车后2 s末及10 s末的瞬时速度． 12、(1)－1 m/s2 2 m/s2(2)8 m/s 6 m/s 2.3匀变速直线运动的位移与时间的关系 一、匀速直线运动的位移 做匀速直线运动的物体在时间t内的位移x＝v t，在速度图象中，位移在数值上等于v t图象与对应的时间轴所围的矩形面积． 二、匀变速直线运动的位移 1．由v t图象求位移： (1)物体运动的速度时间图象如图232甲所示，把物体的运动分成几个小段，如图乙，每段位移≈每段起始时刻速度×每段时间＝对应矩形面积．所以整个过程的位移≈各个小矩形．
大学离散数学期末重点知识点总结(考试专用)
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={
【离散数学】知识点典型例题整理
【半群】G非空，·为G上的二元代数运算，满足结合律。 【群】（非空，封闭，结合律，单位元，逆元）恰有一个元素1适合1·a=a·1=a,恰有一个元素a-1适合a·a-1=a-1·a=1。 【Abel群/交换群】·适合交换律。可能不只有两个元素适合x2=1 【置换】n元置换的全体作成的集合Sn对置换的乘法作成n 次对称群。 【子群】按照G中的乘法运算·,子集H仍是一个群。单位子群{1}和G称为平凡子群。 【循环群】G可以由它的某元素a生成,即G=（a）。a所有幂的集合an，n=0，±1，±2，…做成G的一个子群，由a生成的子群。若G的元数是一个质数，则G必是循环群。 n元循环群（a）中,元素ak是（a）的生成元的充要条件是（n，k）=1。共有?（n）个。【三次对称群】{I（12）（13）（23）（123）（132）} 【陪集】a，b∈G，若有h∈H，使得a =bh，则称a合同于b（右模H），a≡b（右mod H）。H有限，则H的任意右陪集aH的元数皆等于H的元数。任意两个右陪集aH和bH或者相等或者不相交。 求右陪集：H本身是一个；任取a?H而求aH又得到一个；任取b?H∪aH而求bH又一个。G=H∪aH∪bH∪… 【正规子群】G中任意g，gH=Hg。（H=gHg-1对任意g∈G都成立） Lagrange定理G为有限群，则任意子群H的元数整除群G的元数。 1有限群G的元数除以H的元数所得的商，记为（G：H），叫做H在G中的指数，H的指数也就是H的右（左）陪集的个数。 2设G为有限群,元数为n,对任意a∈G，有an=1。 3若H在G中的指数是2，则H必然是G的正规子群。证明：此时对H的左陪集aH，右陪集Ha，都是G中元去掉H的所余部分。故Ha=aH。 4G的任意多个子群的交集是G的子群。并且，G的任意多个正规子群的交集仍是G的正规子群。 5 H是G的子群。N是G的正规子群。命HN为H的元素乘N的元素所得的所有元素的集合，则HN是G的子群。 【同态映射】K是乘法系统，G到K的一个映射σ（ab）=σ（a）σ（b）。 设（G，*），（K，+）是两个群，令σ：x→e，?x∈G，其中e是K的单位元。则σ是G到K 内的映射，且对a，b∈G，有σ（a*b）=e=σ（a）+ σ（b）。即，σ是G到K的同态映射，G～σ（G）。σ（G）={e}是K的一个子群。这个同态映射是任意两个群之间都有的。 【同构映射】K是乘法系统，σ是G到σ（G）上的1-1映射。称G与σ（G）同构，G?G′。同构的群或代数系统，抽象地来看可以说毫无差别。G和G′同态，则可以说G′是G的一个缩影。 【同态核】σ是G到G′上的同态映射，核N为G中所有变成G′中1′的元素g的集合，即N=σ-1（1′）={g∈G∣σ（g）=1′}。 N是G的一个正规子群。对于Gˊ的任意元素aˊ，σ-1(aˊ)={x|x∈G ,σ(x)= aˊ}是N在G 中的一个陪集。Gˊ的元素和N在G中的陪集一一对应。 设N是G的正规子群。若A，B是N的陪集，则AB也是N的陪集。 【环】R非空，有加、乘两种运算 a+b=b+a2）a+（b+c）=（a+b）+c， 3）R中有一个元素0，适合a+0=a， 4）对于R中任意a,有-a,适合a+(-a)=0， 5）a（bc）=（ab）c，