1 . 常见不等式的性质：
（1）是的_______条件；
（2）如果，则____；
（3）是的______条件；
（4）如果，那么____；如果，那么____；
（5）如果，那么____；
（6）如果，那么____；
（7）如果，那么____.

3 . 存在量词与存在量词命题
（1）短语“存在一个”“至少有一个”在逻辑中通常叫做______，用符号__表示；
（2）含有_______量词的命题叫做存在量词命题，其一般形式为：______.

4 . 全称量词与全称量词命题
（1）短语“所有的”“任意一个”在逻辑中通常叫做______，用符号__表示；
（2）含有_______量词的命题叫做全称量词命题，其一般形式为：______.

5 . 四种条件关系：
（1）如果命题“若，则”为真命题且“若，则”为假命题，那么是的___条件.
（2）如果命题“若，则”为假命题且“若，则”为真命题，那么是的___条件.
（3）如果命题“若，则”为真命题且“若，则”也为真命题，那么是的___条件.
（4）如果命题“若，则”为假命题且“若，则”也为假命题，那么是的___条件.

6 . 如果命题“若，则”为真命题，那么是的_____条件，且是的____条件.

7 . 把下列命题改写成“若p，则q”的形式，并判断命题的真假．
(1)偶数不能被2整除；
(2)当时，；
(3)两个相似三角形是全等三角形．

8 . 下列命题中真命题有______________.
①是一元二次方程；
②函数的图象与x轴有一个交点；
③互相包含的两个集合相等；
④空集是任何集合的真子集．