逆否命題和原命題的關係

　　原命題和逆否命題為等價命題．如果原命題成立，逆否命題成立。逆命題和否命題為等價命題，如果逆命題成立，否命題成立。命題的否定只否結論。

　　如果兩個命題中一個命題的條件和結論分別是另一個命題的結論和條件的否定，則這兩個命題稱互為逆否命題。命題的否定只否結論。一個命題為原命題，則和它互為逆否命題的命題為原命題的逆否命題。

　　命題：一般的，在數學中把用語言、符號或式子表達的，可以判斷真假的陳述句。

　　否命題：一個命題的條件和結論分別是另一個命題的條件的否定和結論的否定，把這樣的兩個命題叫做互否命題。如果把其中一個稱為原命題，那麼另一個就叫做它的否命題。

　　非命題：不是命題的表達。

　　否命題和非命題的兩者關係：否命題屬於命題的一種，非命題與命題成相對關係。

　　反函式與原函式的關係：反函式的定義域與值域分別是原來函式的值域與定義域；函式的反函式，本身也是一個函式；偶函式必無反函式；奇函式如果有反函式，其反函式也是奇函式。

　　函式（function）的定義通常分為傳統定義和近代定義，函式的兩個定義本質是相同的，只是敘述概念的出發點不同，傳統定義是從運動變化的觀點出發，而近代定義是從集合、對映的觀點出發。函式的近代定義是給定一個數集A，假設其中的元素為x，對A中的元素x施加對應法則f，記作f（x），得到另一數集B，假設B中的元素為y，則y與x之間的等量關係可以用y=f（x）表示，函式概念含有三個要素：定義域A、值域B和對應法則f。其中核心是對應法則f，它是函式關係的本質特徵。