互为逆否的命题huwer nifou de mingti

两个命题，一个命题的条件（题设）和结论分别是另一个命题的结论的否定和条件（题设）的否定.把互为逆否命题中的一个叫做原命题时，另一个就叫做它的逆否命题.若把命题的条件和结论分别用A,B表示，它们的否定用表示，则“A→B”与“→”是互为逆否的命题.
例如，“若a>0且b>0，则ab>0”与“若ab≯0，则a≯0或b≯0”是互为逆否的命题.又如，“在三角形中，若有两条边相等，则它们所对的角也相等”与“在三角形中，若有两个角不等，则它们所对的边也不等”是互为逆否的命题.