若命题p的否命题是真命题,则命题p的逆命题是真命题