Теорема 
1)
- предложение обратное данной теореме (обратное предложение будет теоремой, если оно истинно).
2)
- получим предложение, противопоставленное данной теореме (противопоставленное предложение будет теоремой, если оно истинно).
3)
- математическое предложение будет противоположно обратному или обратное противоположно ему (это предложение всегда будет теоремой).
Закон контрпозиции: