一、
原命題:若吃多了,則肚子脹。
逆命題:若肚子脹,則吃多了。
否命題:若沒吃多,則肚子不脹。
逆否命題:若肚子不脹,則沒吃多。
二、
原命題:所有三角形的內角和都是180度。
逆命題:所以內角和是180度的都是三角形。
命題的否定:所有三角形的內角和不都是180度。
逆否命題:所有內角和不是180度的都不是三角形。
一、
原命題:若吃多了,則肚子脹。
逆命題:若肚子脹,則吃多了。
否命題:若沒吃多,則肚子不脹。
逆否命題:若肚子不脹,則沒吃多。
二、
原命題:所有三角形的內角和都是180度。
逆命題:所以內角和是180度的都是三角形。
命題的否定:所有三角形的內角和不都是180度。
逆否命題:所有內角和不是180度的都不是三角形。
反證法不等同於逆否命題。反證法是證明數學命題的一種間接證法,有些學生認為反證法就是證明原命題的逆否命題,這種看法是錯誤的,這兩者之間有著本質的區別。反證法的步驟是要證明命題p推出q正確,先假設一個命題p推出非q,接著證明p推出非q這個命題不成立,於是從而確定命題p推出非q本身的正確性 。
逆否命題跟原命題在邏輯上真假性相同。只有在推導矛盾的過程中用了假設q而沒有用題設p作前提,且推匯出的結果是p時,這樣證明的命題才是逆否命題。
原命題和逆否命題為等價命題.如果原命題成立,逆否命題成立。逆命題和否命題為等價命題,如果逆命題成立,否命題成立。命題的否定只否結論。
如果兩個命題中一個命題的條件和結論分別是另一個命題的結論和條件的否定,則這兩個命題稱互為逆否命題。命題的否定只否結論。一個命題為原命題,則和它互為逆否命題的命題為原命題的逆否命題。