1、四種命題為命題、逆命題、否命題、逆否命題;
2、命題的關係為命題與逆否命題同真同假,逆命題與否命題同真同假;
3、充分條件,如果A能推出B,A就是B的充分條件;
4、必要條件,如果B能推出A,A就是B的必要條件;
5、充要條件,如果能從命題A推出命題B,而且也能從命題B推出命題A,則稱A是B的充分必要條件,且B也是A的充分必要條件。