学案6第一章常用逻辑用语小结与复习.docVIP

【学案】 第一章 小结与复习 态度决定一切 细节决定成败 精益知识导学 提纲挈领 胸有成竹 1命题及其关系　① 了解命题逆命题、否命题与逆否命题 　② 理解必要条件、充分条件与充要条件的意义，会分析四种命题的相互关系 2．简单的逻辑联结词　了解逻辑联结词或且非的含义 3．全称量词与存在量词　① 理解全称量词与存在量词的意义② 能正确地对含有一个量词的命题进行否定 精益基础知识盘点 辨析明理 夯实基础 则”这种形式的命题是较为常见的，我们把这种形式的的命题中的叫做____________，叫做____________． 二．四种命题及其相互关系 3．四种命题的概念：一般地，用和分别表示原命题的条件和结论，用和分别表示和的否定，于是四种命题的形式就是： 原命题：若则；逆命题：________； 否命题：________；逆否命题：________． 关于逆命题、否命题与逆否命题，也可以如下表述： （1）交换原命题的条件和结论，所得的命题是原命题的__________； （2）同时否定原命题的条件和结论，所得的命题是原命题的__________； （3）交换原命题的条件和结论，同时进行否定，所得的命题是原命题的__________． 4．四种命题之间的关系： 四种命题之间的相互关系如下图所示： 　　由上图知逆命题与否命题也互为逆否命题，因此这四种命题的真假之间的关系如下： （1）两个命题互为逆否命题，它们具有相同的________； （2）两个命题为互逆命题或互否命题，它们的真假性____________． 5．反证法 由于原命题与它的逆否命题具有相同的真假性，所以我们在直接证明某一命题有困难时，可以通过证明________________，来间接地证明原命题为真命题，这种证明的方法，称作是________．用反证法证明的步骤如下： （1）____________________，即假设结论的反面成立； （2）从__________________出发，经过推理论证得出矛盾； （3）由矛盾判定假设不正确，______________． 三．充分条件与必要条件 6．若，则叫做的________条件，则叫做的________条件； 若，则叫做的________条件，简称为_______条件． 7．如果且，则我们称为的___________条件， 如果且，则我们称为的___________条件． 四．判断充要条件的方法 8．命题判断法：设“若则”为原命题，那么： （1）原命题为真，逆命题为假时，则是的___________条件； （2）原命题为假，逆命题为真时是的___________条件； （3）原命题与逆命题都为真时，是的___________条件； （4） 原命题与逆命题都为假时，是的___________条件． 9．集合判断法：对于命题“若p，则q”，则p是q充分条件；，则p是q条件；，则p是q条件；p是q充分条件；p是q条件；p是q条件等价于；等价于； 等价于的等价关系判断． 五．逻辑联结词 11．逻辑联结词：在数学中，有时会使用一些联结词，如______________． 12．“且”记作________；“或”记作______；“非”记作______． 13．命题，和的真假判断 （1）当都是真命题时，为______；为______；为______． （2）当有一个是真命题时，为______；为______． （3）当都是假命题时，为______；为______；为______． 上述语句可以描述为：对于而言“一假必假”；对于而言“一真必真”； 对于而言“真假相反”． 可以用下表来判断：（即真值表） 真 真 真 假 假 真 假 假 六．全称量词与存在量词 14．全称量词：短语_______、_______在逻辑中通常叫做全称量词，用符号____来表示； 含有全称量词的命题，叫做__________． 全称命题“对中任意一个，有成立”可用符号简记为________． 15．存在量词：短语_______、_______在逻辑中通常叫做存在量词，用符号____来表示； 含有存在量词的命题，叫做__________． 存在命题“存在中一个，使成立” 可用符号简记为________． 16．含有一个量词的命题的否定：含有一个量词的全称命题的否定，有以下结论： 全称命题：，它的否定：________；即全称命题的否定是______． 含有一个量词的特称命题的否定，有以下结论： 全称命题：，它的否定：________；即全称命题的否定是______． 点拨归纳，感悟升华 问渠那得清如许 为有源头活水来 则”，否命题是“若，则”，而命题的否定是