下列说法中
①命题“”的否命题为“”
②“”是“”的充分不必要条件
③对于常数，“”是“方程表示的曲线是双曲线”的充要条件
④“为真”是“为真”的充分不必要条件
其中说法正确的有      （写出所有真命题的编号）．