П`ятниця, 27.06.2025, 20:41Вітаю Вас Гість | RSS
Зовнішнє оцінювання
Головне меню
Календар
«  Червень 2010  »
Пн Вт Ср Чт Пт Сб Нд
 123456
78910111213
14151617181920
21222324252627
282930
 Головна » 2010 » Червень » 7 » Доведення від супротивного
16:55
Доведення від супротивного
Доведення від супротивного (зведення до абсурду, лат. Reductio ad absurdum) — один із поширених методів доведення тверджень в математичній логіці. Метод грунтується на вірності формули в численні висловлень та законі подвійного заперечення.Припускаємо, що A є істиним твердженням, і доводимо, що, по-перше, з A виводиться B, а по-друге, що з A виводиться ¬B, що неможливо; отже, A невірно, тобто вірно ¬A
Переглядів: 1551 | Додав: Artyk | Рейтинг: 0.0/0
Всього коментарів: 0
Ім`я *:
Email *:
Код *:
Архів записів
Друзі сайту
Block title