1. метод доказательства утверждений, в котором доказывается, что отрицание исходного положения не может быть верным ◆ И всё же редукция к абсурду и доказательство от противного вошли в состав научных методов доказательства.
Источник: Викисловарь
Доказательство «от противного» (лат. contradictio in contrarium) в математике — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике.
Источник: Википедия
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: картофельник — это что-то нейтральное, положительное или отрицательное?
Большое применение находит закон исключённого третьего в процессе доказательства, например доказательства от противного.
Получалось настоящее, принятое в науке доказательство от противного.
Государственные мужи и дщери поныне исповедуют то же самое, правда, по большей части тайком или оснащаясь методом доказательства от противного: где нет меня, не может случаться ничего существенного.