В общих чертах. Метод "от противного" или же "от обратного" часто применяется в решении математических задач и доказательстве теорем. Сам метод можно условно разделить на 3 этапа : 1)Устанавливаем какие варианты возможны при решении задачи или доказательстве теоремы. (Например: угол может быть тупым, прямым или острым; значение переменной a может быть больше, меньше или равно значению переменной b). 2)Доказываем для каждого нежелательного варианта, что он неверен. (Как правило удаётся установить,...

Колмогоров А.Н., Драгалин А.Г. (2006) В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» (1982) и «Математическая логика. Дополнительные главы» (1984), ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им...