命题与逻辑用语.docVIP

命题 1. 命题的定义：一般地，我们把用语言、符号或式子表达的，能判断真假的语句叫命题（proposition）。其中判断为真的语句叫做真命题，判断为假的语句叫做假命题。 2、命题的四种形式及其相互关系： 若原命题是“若p则q”，则逆命题为“若q则p”；否命题为“若﹁p 则﹁q”；逆否命题为“若﹁q 则﹁p”。互为逆否关系的命题是等价命题，即原命题与逆否命题同真、同假；逆命题与否命题同真同假。但原命题与逆命题、否命题都不等价；当一个命题的真假不易判断时，可考虑判断其等价命题的真假； 由上图知逆命题与否命题也互为逆否命题，因此这四种命题的真假之间的关系如下： （1）两个命题互为逆否命题，它们具有相同的真假性。 （2）两个命题为互逆命题或互否命题，它们的真假性没有关系。 四种命题的真假性：（真值表） ｐ ｑ 非ｐ ｐ或ｑ ｐ且ｑ 真 真 假 真 真 真 假 假 真 假 假 真 真 真 假 假 假 真 假 假 常见结论的否定形式 原结论 反设词 原结论 反设词 是 不是 至少有一个 一个也没有 都是 不都是 至多有一个 至少有两个 大于 不大于 至少有个 至多有（）个 小于 不小于 至多有个 至少有（）个 对所有，成立 存在某，不成立 或 且 对任何，不成立 存在某，成立 且 或 3、充要条件： ① 若A=B且B推不出A，则A是B的充分非必要条件； ② 若A推不出B且B=A，则A是B的必要非充分条件 ③ 若A=B且B=A，则A是B的充要条件 ④ 若A推不出B且B推不出A，则A既不是B的充分条件，也不是B的必要条件。 注：如果甲是乙的充分条件，则乙是甲的必要条件；反之亦然. 4、逻辑联结词：或、且、非；含逻辑联结词的命题真假的判断； 5、全称量词与存在量词；全称命题与存在性命题；命题的否定。 全称命题:,它的否定┓:┓ 特称命题:,它的否定┓:┓ 例题分析 1若集合，，则“”是“”的（ A ）条件 A．B．C．D．”的否定是 . 答案：。 3命题“存在，使＜0，为假命题”是命题“”的（A ） A．充要条件 B．必要不充分条件 C．充分不必要条件 D．既不充分也不必要条件 ，，则“”是“”的（ A ） A．充分不必要条件 B．必要不充分条件 C．充分必要条件 D． 既不充分也不必要条件 5命题“”的否定是 . 答案： 6．（2012丰台一模文科）若函数 则“a=1”是“函数y=f(x)在R上单调递减”的（ A ） A .充分不必要条件 B .必要不充分条件 C .充要条件 D .既不充分也不必要条件 7 a=0是函数为奇函数的（ B ） A． 充分但不必要条件 B．必要但不充分条件 C． 充要条件 D． 既不充分也不必要条件 8若集合，，则“”是“”的A ） A．充分不必要条件 B必要不充分条件“”是“直线和直线互相平行”的B ） A．充要条件 B． 充分不必要条件 C．必要不充分条件 D．既不充分也不必要条件 ，，命题,，则下列命题中真命题是 （ D ） A． B． C． D． 11设直线与的方程分别为与，则“”是“”的（ B ） A. 充分而不必要条件 B. 必要而不充分条件 C. 充分必要条件 D. 既不充分也不必要条件 12设等比数列的前项和为．则“”是“”的（ C ） A．充分而不必要条件B．必要而不充分条件C．充要条件D．既不充分又不必要条件 2 常用逻辑用语 命题及其关系 简单的逻辑联接词 全称量词与存在量词 充分条件与必要条件 四种命题 且 或 非 交集 并集 补集 运算 量词 含有一个量词的否定 存在量词 全称量词 互 否 为 逆 为 逆 互 否 互否 互否 互逆 原命题 若p则q 互逆 逆命题 若q则p 逆否命题 若则 逆否命题 若则