Виды теорем:

1. Теорема обратной данной (в равнобедренном треугольнике углы при основанииравны) ОБРАТНАЯ (Если в треугольнике углы при основании равны, то этот треугольник равнобудренны.)

2. Теорема противоположная данной. (добавляем чпстицу «НЕ») (пример: Если А, то В, если не А, то не В)

3. Обратно противоположная данной (пример: Если А, то В, если не В, то не А)

(А В) (В А)

Эту равносильность называют законм контрапозиции. Мы принимаем его без доказательства.