下列命题：
①命题“”的否命题为“”；
②命题“”的否定是“”
③对于常数，“”是“方程表示的曲线是双曲线”的充要条件；
④“”是“”的必要不充分条件；
⑤已知向量不共面，则向量可以与向量和向量构成空间向量的一个基底．
其中说法正确的有      （写出所有真命题的编号）．