|
||||||||||||||||||||||||||
Статьи и новости: |
Объявление.Инновационный многопрофильный образовательный комплекс ГБОУ г.Москвы гимназия №1796 «Гольяново» проводит дополнительный набор учащихся 5-11 классов для обучения в предпрофильных и профильных классах следующих направленностей на 2014/15 учебный год:
Список волгоградских институтов.
|
ВУЗ | Волгоградский государственный архитектурно-строительный университет |
Адрес | 400074, Волгоградская область, г. Волгоград, ул. Академическая, д. 1 |
Телефоны | (8442) 97-48-72 |
Город расположения | Волгоград |
Регион | Волгоградская область |
Организационная форма | |
Государственная аккредитация до | 12 февраля 2008 года |
Лицензия до | 15 апреля 2008 года |
Специальности | СПИСОК СПЕЦИАЛЬНОСТЕЙ |
Допольнительная информация | |
WWW | www.vgasu.ru |
postmaster@vgasa.ru |
Из Большой Советской Энциклопедии.
Доказательство от противного (лат. reductio ad absurdum), вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения — антитезиса. Опровержение антитезиса при этом достигается установлением факта его несовместимости с каким-либо заведомо истинным суждением. Этой форме Д. от п. соответствует следующая схема доказательства: если В истинно и из А следует ложность В, то А — ложно. Другая, более общая форма Д. от п. — это доказательство путём опровержения (обоснования ложности) антитезиса по правилу: допустив А, мы вывели противоречие, следовательно — не-А. Здесь А может быть как утвердительным, так и отрицательным суждением, а вывод противоречия может пониматься либо как вывод утверждения о тождестве заведомо различных предметов, либо как вывод пары суждений В, не-В, либо как вывод конъюнкции этой пары, либо как вывод эквивал