非a或非b的等價命題

a推b的等價命題是A推B的矛盾是A且非B，而A且非B的矛盾是非A或B。一般的，在數學中把用語言、符號或式子表達的，可以判斷真假的陳述句叫作命題。

其中判斷為真的語句叫作真命題，判斷為假的語句叫作假命題。

基本概念

命題的定義，一般的，在數學中把用語言、符號或式子表達的，可以判斷真假的陳述句叫做命題。其中判斷為真的語句叫做真命題，判斷為假的語句叫做假命題。每一個命題都有逆命題，只要將原命題的題設改成結論，並將結論改成題設，便可得到原命題的逆命題。

但是原命題正確，它的逆命題未必正確。例如真命題對頂角相等的逆命題為相等的角是對頂角，此命題就是假命題。互逆命題的定義，如果一個命題的條件與結論分別是另一個命題的結論與條件，那麼這兩個命題稱為互逆命題。

如把其中一個稱為原命題，那麼另一個稱為它的逆命題。其中一個命題稱為另一個命題的逆命題。把一個命題的條件和結論互換就得到它的逆命題，所以每個命題都有逆命題。