1原命题-逆命题-否命题-逆否命题