命题的分类：

（按正确、错误与否分）分为真命题（正确的命题），假命题（错误的命题），

所谓正确的命题就是：如果题设成立，那么结论一定成立的命题。

所谓错误的命题就是：如果题设成立，不能证明结论总是成立的命题。

四种命题：

1．对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论和条件，那么这两个命题叫做互逆命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆命题。

2．对于两个命题，如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定，那么这两个命题叫做互否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的否命题。

3．对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆否命题。

相互关系：

1．四种命题的相互关系：原命题与逆命题互逆，否命题与原命题互否，原命题与逆否命题相互逆否，逆命题与否命题相互逆否，逆命题与逆否命题互否，逆否命题与否命题互逆。

2．四种命题的真假关系：

①两个命题互为逆否命题，它们有相同的真假性。

②两个命题为互逆命题或互否命题，它们的真假性没有关系(原命题与逆否命题同真同假，逆命题与否命题同真同假）

定理结构：

定理一般都有一个设定——一大堆条件。然后它有结论——一个在条件下成立的数学叙述。

通常写作「若条件，则结论」。用符号逻辑来写就是条件→结论。而当中的证明不视为定理的成分。

逆定理：

若存在某叙述为A→B，其逆叙述就是B→A。逆叙述成立的情况是A←→B，否则通常都是倒果为因，不合常理。若某叙述是定理，其成立的逆叙述就是逆定理。

若某叙述和其逆叙述都为真，条件必要且充足。 若某叙述为真，其逆叙述为假，条件充足。 若某叙述为假，其逆叙述为真，条件必要。