第 1 页 共 6 页 选修1 -1 知识点 1、命题:用语言、符号或式子表达的,可以判断真假的陈述句
2、“若 p ,则 q ”形式的命题中的p 称为命题的条件,q 称为命题的结论
3、若原命题为“若 p ,则q ”,则它的逆命题为“若q , 则 p ”
4、若原命题为“若 p ,则q ”,则它的否命题为“若p,则q”
5、若原命题为“若 p ,则q ”,则它的否命题为“若q,则p”
6、四种命题的真假性: 原命题 逆命题 否命题 逆否命题 真 真 真 真 真 假 假 真 假 真 真 真 假 假 假 假 四种命题的真假性之间的关系: 1两个命题互为逆否命题,它们有相同的真假性; 2两个命题为互逆命题或互否命题,它们的真假性没有关系. 7、若 pq,则 p 是q 的充分条件,q 是 p 的必要条件. 若 pq,则 p 是q 的充要条件(充分必要条件). 8、用联结词“且”把命题p 和命题q 联结起来,得到一个新命题,记作 pq. 当 p 、q 都是真命题时,pq是真命题;当 p 、q 两个命题中有一个命题是假命题时,pq是假命题. 用联结词“或”把命题p 和命题q 联结起来,得到一个新命题,记作 pq. 当 p 、q 两个命题中有一个命题是真命题时,pq是真命题;当 p 、q 两个命题都是假命题时,pq是假命题. 若 p 是真命题,则p必是假命题;若 p 是假命题,则p必是真命题. 9、短语“对所有的”、“对任意一个”在逻辑中通常称为全称量词,用“ ”表示. 含有全称量词的命题称为全称命题. 全称命题“对 中任意一个 x,有 p x 成立”,记作“x , p x ”. 短语“存在一个”、“至少有一个”在逻辑中通常称为存在量词,用“ ”表示. 含有存在量词的命题称为存在性命题. 特称命题“存在 中的一