Протилежна теорема, теорема, що виходить шляхом заміни умови і висновку даної вихідної теореми їх запереченнями. Наприклад, для теореми «якщо в чотирикутнику сума протилежних кутів рівна 180°, то біля цього чотирикутника можна описати коло» протилежною теоремою буде: «якщо в чотирикутнику сума протилежних кутів не рівна 180°, то біля цього чотирикутника не можна описати коло». П. т. рівносильна зворотній теоремі .