逻辑用语+推理证明(文科).docVIP

第1讲、 常用逻辑用语 1、命题：用语言、符号或式子表达的，可以判断真假的陈述句. 真命题：判断为真的语句.假命题：判断为假的语句. 2、四种命题的真假性： 原命题 逆命题 否命题 逆否命题 真 真 真 真 真 假 假 真 假 真 真 假 假 假 假 假 四种命题的真假性之间的关系： 两个命题互为逆否命题，它们有相同的真假性； 两个命题为互逆命题或互否命题，它们的真假性没有关系． 3、① p是q的充分不必要条件　② p是q的必要不充分条件 ③ p是q的充要条件　　 ④　p是q的既不充分也不必要条件 4、用联结词“且”把命题和命题联结起来，得到一个新命题，记作． 当、都是真命题时，是真命题；当、两个命题中有一个命题是假命题时，是假命题． 用联结词“或”把命题和命题联结起来，得到一个新命题，记作． 当、两个命题中有一个命题是真命题时，是真命题；当、两个命题都是假命题时，是假命题． 对一个命题全盘否定，得到一个新命题，记作． 若是真命题，则必是假命题；若是假命题，则必是真命题． 写出命题的非（否定），需要对其正面叙述的词语进行否定，常用正面叙述词语及它的否定列举如下： 正面词语 且 小于（） 都是 都不是 至少n个 至多n个 否定词语 或 不小于（≥） 不都是 至少有一个是 至多n－1个 至少n+1个 正面词语 任意的 所有的 有无穷多个 存在唯一的 对任意p，使…恒成立 否定词语 某个 某些 只有有限多个 不存在或至少存在两个 至少有一个p，使…不成立 5、短语“对所有的”、“对任意一个”在逻辑中通常称为全称量词，用“”表示． 含有全称量词的命题称为全称命题． 全称命题“对中任意一个，有成立”，记作“，”． 短语“存在一个”、“至少有一个”在逻辑中通常称为存在量词，用“”表示． 含有存在量词的命题称为特称命题． 特称命题“存在中的一个，使成立”，记作“，”． 6、全称命题：，，它的否定：，。全称命题的否定是特称命题。 特称命题：，，它的否定：，。特称命题的否定是全称命题。 题型1. 判断命题及真假 下列四个命题中，真命题的个数为（ ） （1）若两平面有三个公共点，则这两个平面重合； （2）两条直线可以确定一个平面； （3）若； （4）空间中，相交与同一点的三条直线在同一平面内。 A.1 B.2 C.3 D.4 下列命题中是假命题的是（ ） （A）矩形的对角线相等 （B）若是奇数，则是奇数 （C） （D）若，则以下命题： ① 二直线平行的充要条件是它们的斜率相等； ② 过圆上的点与圆相切的直线方程是； ③ 平面内到两定点的距离之和等于常数的点的轨迹是椭圆； ④ 抛物线上任意一点到焦点的距离都等于点到其准线的距离。 其中正确命题的标号是 。 题型2。写出一个命题的逆命题、否命题、逆否命题 写出下述命题逆命题、否命题、逆否命题. （1）若，则全为0 . （2）若是偶数，则都是偶数. （3）若，则 命题“若＞0，则”的逆命题是 命题“”的否命题是 （ ） A. B. C. D. 题型3。四种命题间的关系与反证法 若a、b、c∈R，写出命题“若ac＜0，则ax2+bx+c=0有两个不相等的实数根”的逆命题、否命题、逆否命题，并判断这三个命题的真假 命题：“设、、，若则”以及它的逆命题、否命题、逆否命题中，真命题的个数为（ ） A．0 B．1 C．2 D．3 命题：“若，则”的逆否命题是（ ） A若，则 B.若，则 C.若，则 D. .若，则 题型4、充要条件 在中，“”是“”的 A．充分而不必要条件 B． 必要而不充分条件 C．充分必要条件 D．既不充分也不必要条件 函数有极值的充要条件是 （ ） A． B． C． D． “” 是“函数在区间上为增函数”的 （ ） A．充分条件不必要 B．必要不充分条件 C．充要条件 D．既不充分也不必要条件 “成立”是“成立”的( ) A．充分不必要条件 B.必要不充分条件 C．充分必要条件 D.既不充分也不必要条件 若，则成立的一个充分不必要的条件是（ ） A. B. C. D. 设集合，，那么“”是“”的（