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