Формулировки теорем.

Виды формулировок:

• категорическая,

• условная (импликативная).

Структура формулировки:

• условие,

• заключение,

• разъяснительная часть.

Логическая структура условия и заключения:

• конъюнктивная,

• дизъюнктивная.