模块复习提升课

　　一　常用逻辑用语

　　　[学生用书P76]

　　1．四种命题及其关系

　　(1)四种命题

命题 表述形式 原命题 若p，则q 逆命题 若q，则p 否命题 若¬p，则¬q 逆否命题 若¬q，则¬p 　　(2)四种命题间的逆否关系

　　(3)四种命题的真假关系

　　两个命题互为逆否命题，它们有相同的真假性；两个命题为互逆命题或互否命题，它们的真假性没有关系．

　　2．充分条件与必要条件

若p⇒q，则p是q的充分条件，q是p的必要条件 p成立的对象的集合为A，q成立的对象的集合为B p是q的充分不必要条件 p⇒q且q\s\up0(/(/)p A是B的真子集 集合与充分、必要条件 p是q的必要不充分条件 p\s\up0(/(/)q且q⇒p B是A的真子集 p是q的充要条件 p⇔q A＝B p是q的既不充分也不必要条件 p\s\up0(/(/)q且q\s\up0(/(/)p A，B互不包含 　　3.简单的逻辑联结词

　　(1)用联结词"且""或""非"联结命题p和命题q，可得p∧q，p∨q，

　　(2)命题p∧q，p∨q，¬p.¬p的真假判断．

p∧q中p、q有一假为假，p∨q有一真为真，p与﹁p必定是一真一假．