Логико- математический анализ

Выполнить логико-математический анализ теоремы :Если две параллельные прямые пересечены секущей, то сумма односторонних углов равна 180
ПЛАН
План анализа:
-установить форму формулировки утверждения (категоричная, разделительная, условная);
- перевести формулировку теоремы в условную форму, если необходимо;
- определить структуру теоремы: выделить условие, заключение и разъяснительную часть и определить логические связки, с помощью которых образовано утверждение;
- сформулировать утверждения: обратное данному, противоположное данному, обратное противоположному и противоположное обратному (определить их истинность или ложность).)