一、命題
1、對事物做出判斷的語句叫做命題，正確的命題叫做真命題，錯誤的命題叫做假命題。
2、“若p，則q”形式的命題中p叫做命題的條件，q叫做命題的結論。
二、四種命題
1、對於兩個命題，如果一個命題的條件和結論分別是另外一個命題的結論和條件，那麼這兩個命題叫做互逆命題，其中一個命題叫做原命題，另外一個命題叫做原命題的逆命題。
2、對於兩個命題，如果一個命題的條件和結論分別是另外一個命題的條件的否定和結論的否定，那麼這兩個命題叫做互否命題，其中一個命題叫做原命題，另外一個命題叫做原命題的否命題。
3、對於兩個命題，如果一個命題的條件和結論分別是另外一個命題的結論的否定和條件的否定，那麼這兩個命題叫做互為逆否命題，其中一個命題叫做原命題，另外一個命題叫做原命題的逆否命題。
三、四種命題的相互關係
1、四種命題的相互關係：原命題與逆命題互逆，逆命題與逆否命題互否，逆否命題與否命題互逆，否命題與原命題互否，原命題與逆否命題相互逆否，逆命題與否命題相互逆否。
2、四種命題的真假關係：（1）兩個命題互為逆否命題，它們有相同的真假性。（2）兩個命題為互逆命題或互否命題，它們的真假性沒有關係。
四、充分條件與必要條件
1、“若p，則q”為真命題，叫做由p推出q，記作p=>q，並且說p是q的充分條件，q是p的必要條件。
2、“若p，則q”為假命題，叫做由p推不出q，記作p≠>q，並且說p不是q的充分條件，q不是p的必要條件。
五、充要條件
如果既有p=>q，又有q=>p，就記作pq，並且說p是q的充分必要條件（或q是p的充分必要條件），簡稱充要條件。
一、命題
1、對事物做出判斷的語句叫做命題，正確的命題叫做真命題，錯誤的命題叫做假命題。
2、“若p，則q”形式的命題中p叫做命題的條件，q叫做命題的結論。
二、四種命題
1、對於兩個命題，如果一個命題的條件和結論分別是另外一個命題的結論和條件，那麼這兩個命題叫做互逆命題，其中一個命題叫做原命題，另外一個命題叫做原命題的逆命題。
2、對於兩個命題，如果一個命題的條件和結論分別是另外一個命題的條件的否定和結論的否定，那麼這兩個命題叫做互否命題，其中一個命題叫做原命題，另外一個命題叫做原命題的否命題。
3、對於兩個命題，如果一個命題的條件和結論分別是另外一個命題的結論的否定和條件的否定，那麼這兩個命題叫做互為逆否命題，其中一個命題叫做原命題，另外一個命題叫做原命題的逆否命題。
三、四種命題的相互關係
1、四種命題的相互關係：原命題與逆命題互逆，逆命題與逆否命題互否，逆否命題與否命題互逆，否命題與原命題互否，原命題與逆否命題相互逆否，逆命題與否命題相互逆否。
2、四種命題的真假關係：（1）兩個命題互為逆否命題，它們有相同的真假性。（2）兩個命題為互逆命題或互否命題，它們的真假性沒有關係。
四、充分條件與必要條件
1、“若p，則q”為真命題，叫做由p推出q，記作p=>q，並且說p是q的充分條件，q是p的必要條件。
2、“若p，則q”為假命題，叫做由p推不出q，記作p≠>q，並且說p不是q的充分條件，q不是p的必要條件。
五、充要條件
如果既有p=>q，又有q=>p，就記作pq，並且說p是q的充分必要條件（或q是p的充分必要條件），簡稱充要條件。