互逆命题huni mingti

两个命题，一个命题的条件（题设）和结论分别是另一个命题的结论和条件（题设）.把互逆命题中的一个命题叫做原命题时，另一个就叫做它的逆命题.若把命题的条件和结论分别用A,B表示，则“A→B”的逆命题为“B→A”；反过来，“B→A”的逆命题为“A→B”.
例如，“若a>0且b>0，则ab>0”与“若ab>0，则a>0且b>0”是互逆命题，其中一个叫做另一个的逆命题.又如，“在三角形中，若有两条边相等，则它们所对的角相等”与“在三角形中，若有两个角相等，则它们所对的边相等”是互逆命题.注意：在第二个例子中，“在三角形中”也是命题的条件，但这个条件是指明命题所判断的事物的范围，在讨论三角形的性质时，可以把它当做大前提，不与结论交换位置(参见“逆命题的制造法”).
像这样把一个命题的条件和结论交换位置的变形，在逻辑学里叫“换位”.