一、选择题：本大题共15小题，1~12题为单项选择题，每小题5分；13~15题为多项选择题，每小题6分．
1. 已知全集,则 ( )
2. 集合用列举法表示正确的是 ( )
3. 设四边形ABCD的两条对角线为AC,BD,则“四边形ABCD为菱形”是“” 的 ( )
（C）必要不充分条件 （C）既不充分又不必要条件
4. 下列命题中，既是真命题又是全称量词命题的是 ( )
（A）至少有一个，使得成立
（B）对任意，都有
（C）
（D）菱形的两条对角线长度相等
5. 命题“，一元二次方程 有实根”的否定是
