常用逻辑用语1
命题定义:2
含有逻辑连结词的命题真假的判断:若为真,当且仅当、均为真pqpq若为真,当且仅当为假pp“或命题”的真假特点是“一真即真,要假全假”;“且命题”的真假特点是“一假即假,要真全真”;“非命题”的真假特点是“真假相反”
如在下列说法中:⑴“且”为真是“或”为真的充分不必要条件;⑵“且”为假是“或”为真的充分不必要条件;⑶“或”为真是“非”为假的必要不充分条件;⑷“非”为真是“且”为假的必要不充分条件
其中正确的是__________(答:⑴⑶)3
四种命题及其相互关系
若原命题是“若p则q”,则逆命题为“若q则p”;否命题为“若﹁p则﹁q”;逆否命题为“若﹁q则﹁p”
提醒:(1)互为逆否关系的命题是等价命题,即原命题与逆否命题同真、同假;逆命题与否命题同真同假
但原命题与逆命题、否命题都不等价;当一个命题的真假不易判断时,可考虑判断其等价命题的真假;(2)在写出一个含有“或”、“且”命题的否命题时,要注意“非或即且,非且即或”;(3)全称命题及特称命题的否定:全称命题:,它的否定┓:┓特称命题:,它的否定┓:┓(4)要注意区别“否命题”与“命题的否定”:否命题要对命题的条件和结论都否定而命题的否定仅对命题的结论否定;(5)对于条件或结论是不等关系或否定式的命题,一般利用等价关系“”判断其真假,这也是反证法的理论依据
(6)哪些命题宜用反证法
如(1)“在△ABC中,若∠C=900,则∠A、∠B都是锐角”的否命题为(答:在中,若,则不都是锐角);(2)已知函数,证明方程没有负数根
充要条件判断命题充要条件的三种方法:①定义法:关键是分清条件和结论(划主谓宾),由条件可推出结论,条件是结论成立的充分条件;由结论可推出条件,则条件是结论成立的必要条件;②从集合角度解释,利用集合间的包含关系判断:若,则A是B的充分条件或B是A用心爱心专心1的必要