Phiên âm : nì dìng lǐ.
Hán Việt : nghịch định lí .
Thuần Việt : định lý đảo.
Đồng nghĩa : , .
Trái nghĩa : , .
định lý đảo. 將某一定理的條件和結論互換所得的定理就是原來定理的逆定理. 例如"在一個三角形中, 如果兩條邊相等, 它們所對的角也相等", 它的逆定理是"在一個三角形中如果兩個角相等, 則它們所對的邊 也相等".