В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...

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