高考复习知识要点2：1
2简易逻辑一、逻辑联结词与四种命题：1、命题：可以判断真假的语句叫做命题
命题由条件和结论两部分构成
2、逻辑联结词：或、且、非
3、简单命题：不含逻辑联结词的命题叫做简单命题
4、复合命题：由简单命题和逻辑联结词构成的命题叫做复合命题
5、复合命题的构成形式：p或q，p且q，非p
6、判断复合命题真假的方法：真值表
p真真假假p真真假假q真假真假q真假真假p真假p或q真真真假p且q真假假假非p假真小结：一真即真小结：一假即假小结：真假相反7、命题四种形式：原命题：若p则q
否命题：若┐p则┐q
逆命题：若q则p
逆否命题：若┐q则┐p
8、四种命题之间的关系：原命题若p则q3互逆互互互否为为互否逆逆否否互逆注：①原命题为真，但其逆命题不一定真；其否命题不一定为真；其逆否命题为真
②互为逆否命题的两个命题同真同假
③否命题即否定条件又否定结论；命题的否定仅否定结论
9、常见结论的否定形式10、反证法的三步骤：①反设：假设命题的结论不成立，即假设命题的反面成立
②归谬：从假设出发，经过推理论证，得出矛盾
③结论：由矛盾判定假设不成立，从而原命题的结论成立
11、反证法适用的题型是：①结论以否定形式出现的命题；②结论是以“至多”、“至少”、“存在一个”等形式出现的命题；③证明唯一性的命题；④结论反面比正面更具体、更容易研究的命题
12、“反证法”与“证明命题的逆否命题”的区别：“反证法”首先反设，即假设结逆命题若q则p否命题若┐p则┐q逆否命题若┐q则┐p原词语否定词语原词语否定词语是不是至少有一个一个也没有都是不都是至多有一个至少有两个大于不大于至少有个至多有（）个小于不小于至多有个至少有（）个等于不等于或且对所有存在某且或4论不成立，由此推出矛盾；而“证明命题的逆否命题”是由命题的否定推出结论的否定
二、充分必要条件：1
充分不必要条件：若且qp，则
