1．四种命题及其关系
(1)四种命题
|
命题
|
表述形式
|
|
原命题
|
若p，则q
|
|
逆命题
|
若q，则p
|
|
否命题
|
若p，则q
|
|
逆否命题
|
若q，则p
|
(2)四种命题之间的关系如图所示．
(3)四种命题的真假关系
两个命题互为逆否命题，它们有相同的真假性；两个命题为互逆命题或互否命题，它们的真假性没有关系．
2．充分条件与必要条件
(1)如果p⇒q，那么称p是q的充分条件，q是p的必要条件．
(2)分类：
①充要条件：p⇒q且q⇒p，记作p⇔q；
②充分不必要条件：p⇒q，q_p；
③必要不充分条件：q⇒p，p_q；
④既不充分也不必要条件：p_q且q_p．
3．简单的逻辑联结词与复合命题及其真假的判断
(1)常见的逻辑联结词有“且”、“或”、“非”．
(2)用联结词“且”“或”“非”联结命题p和命题q，可得复合命题：p且q，p或q，p．
(3)命题p且q中p、q有一假为假，p或q有一真为真，p与p必定是一真一假．
4．量词与含有一个量词的命题否定
(1)短语“所有”“任意”“每一个”等表示全体的量词在逻辑中通常称
