命题的否定就是你写的那样,
逆命题是结论和条件反过来.即是：若x^2+1<0,则存在实数x.
命题否定是否定条件,结论不变.