下面属于方程的是( )
①∃x0∈R,ln(x02+1)<0;
②∀x>2,x2>2x;
③∀α,β∈R,sin(α﹣β)=sin α﹣sin β;
④若q是¬p成立的必要不充分条件,则¬q是p成立的充分不必要条件.
其中真命题的个数为( )