给出以下命题：①命题“”的否定是“”；
②若则；
③设圆与坐标轴4个交点，分别为，，，，则；
④“”是“直线与直线相互垂直”的必要不充分条件。
其中真命题是：         （写出所有你认为正确的命题序号）