下列命题正确的有           .
①“一元二次方程”有实数解的一个充分不必要条件是；
②命题“且，则”的否命题是假命题；
③若不等式的解集是，则不等式的解集；
④数列满足:若是递增数列，则.