|
|
名稱定義命題：可以判斷真假的語句叫做命題。
原命題為：ａ－－＞ｂ
逆命題為：ｂ－－＞ａ
否命題為：非ａ－－＞非ｂ
逆否命題為：非ｂ－－＞非ａ
互為逆否命題：如果兩個命題中一個命題的條件和結論分別是另一個命題的結論和條件的否定，則這兩個命題稱互為逆否命題。
性質一個命題為原命題，則和它互為逆否命題的命題為原命題的逆否命題。
原命題和逆否命題為等價命題．如果原命題成立，逆否命題成立．逆命題和否命題為等價命題，如果逆命題成立，否命題成立．
邏輯學認為命題與逆否命題是等價的，也就是命題真，則逆否命題也真。命題同它的逆否命題等價是作為公理存在的，你即不能證明它正確也不能證明它錯誤。
舉例原命題：吃多了-->肚子漲
逆命題：肚子漲-->吃多了
否命題：沒吃多--> 肚子不漲
逆否命題：肚子不漲-->沒吃多
原命題是正確的．所以逆否成立．
但是逆命題和否命題不一定成立．肚子漲也許是水喝多了． |
|
命題：可以判斷真假的語句叫做命題。
原命題為：ａ－－＞ｂ
逆命題為：ｂ－－＞ａ
否命題為：非ａ－－＞非ｂ
逆否命題為：非ｂ－－＞非ａ
互為逆否命題：如果兩個命題中一個命題的條件和結論分別是另一個命題的結論和條件的否定，則這兩個命題稱互為逆否命題。 |
|
一個命題為原命題，則和它互為逆否命題的命題為原命題的逆否命題。
原命題和逆否命題為等價命題．如果原命題成立，逆否命題成立．逆命題和否命題為等價命題，如果逆命題成立，否命題成立．
邏輯學認為命題與逆否命題是等價的，也就是命題真，則逆否命題也真。命題同它的逆否命題等價是作為公理存在的，你既不能證明它正確也不能證明它錯誤。其實這個東西可以認為是公理。它和公理“排中律”是等價的。 我們數學的體係就是建立在這些公理之上。 |
|
原命題：若吃多了，則肚子漲
逆命題：若肚子漲，則吃多了
否命題：若沒吃多，則肚子不漲
逆否命題：若肚子不漲，則沒吃多
原命題是正確的．所以逆否成立．
但是逆命題和否命題不一定成立．肚子漲也許是水喝多了．
道理
1.原命題真，它的逆命題和否命題未必真；原命題假，它的逆命題和否命題未必假。因此，一個定理的逆命題和否命題，必須通過邏輯證明才能判定其是否成立。若成立，則分別稱為逆定理和否定理。
2.互為逆否的兩個命題，真則同真，假則同假。由此可以得出，要證明一個命題為真，如果直接證明有睏難或太繁時，可以轉而證其逆否命題為真。 |
|
|