如果A那么B——充分条件假言命题， 只有A才B——必要条件假言命题。

对于假言命题，有几种变形：逆命题、否命题、逆否命题；而变形之前的命题称作原命题。

一般情况下，变形只针对充分条件假言命题进行讨论，但必要条件假言命题的变化规则也一样： 原命题：如果A，那么B； 逆命题：如果B，那么A；——前件、后件互换位置； 否命题：如果非A，那么非B；——前件、后件变否定； 逆否命题：如果非B，那么非A；——前件、后件变否定再互换位置