四种命题分别为原命题，逆命题，否命题，逆否命题。
原命题：一个命题的本身称之为原命题。
逆命题：将原命题的条件和结论颠倒的新命题。
否命题：将原命题的条件和结论全否定的新命题，但不改变条件和结论的顺序。
逆否命题：将原命题的条件和结论颠倒，然后再将条件和结论全否定的新命题。
充要条件：即充分必要条件。如果能从命题一推出命题二，而且也能从命题二推出命题一。那么称命题一是命题二的充分必要条件，且命题二也是命题一的充分必要条件。
