已知命题p:∀x∈R,x2-1<0,则¬p是∃x0∈R,x02−1≥0∃x0∈R,x02−1≥0.