给出下列3个命题：
①命题“存在”的否定是“任意”；
②“”是“直线与直线相互垂直”的必要不充分条件；
③关于的不等式的解集为，则．
其中为真命题的序号是                ．