доказательство по случаям это:

доказательство по случаям
логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется переход к утверждению этого следствия путем установления того, что по меньшей мере одно из оснований условных высказываний истинно. В наиболее простом случае посылками являются высказывания: "Если есть первое, то есть третье", "Если есть второе, то есть третье" и "Есть первое или есть второе", заключением - высказывание "Есть третье". Напр.: "Если будет дождь, мы пойдем в кино; если будет холодно, мы пойдем в кино; будет дождь или будет холодно; значит, мы пойдем в кино".
Более сложные формы Д. п. с. включают не две, а большее число альтернатив. В случае, когда таких альтернатив три, на основе посылок: "Если есть первое, то есть четвертое", "Если есть второе, есть четвертое", "Если есть третье, есть четвертое" и "Есть или первое, или второе, или третье" доказывается тезис "Есть четвертое". Наиболее простая форма Д. п. с. в традиционной логике называется простой конструктивной дилеммой; термин "Д. п. с." обычен в математике. Более сложные формы Д. п. с., включающие более двух условных высказываний, иногда по традиции именуют-сятрилеммой, тетралеммой, полилеммой.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "доказательство по случаям" в других словарях:

  • ДОКАЗАТЕЛЬСТВО РАЗБОРОМ СЛУЧАЕВ — рассуждение по случаям (англ. proof by cases), – распространенный (особенно в содержательном мышлении) способ логич. вывода, при к ром справедливость заключения устанавливается посредством рассмотрения ряда условий (случаев), анализ к рых… …   Философская энциклопедия

  • Доказательство от противного — (лат. reductio ad absurdum)         вид Доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса при этом достигается… …   Большая советская энциклопедия

  • ИСО 10005-95: Административное управление качеством. Руководящие указания по программам качества — Терминология ИСО 10005 95: Административное управление качеством. Руководящие указания по программам качества: 3.4 Испытание в присутствии потребителя: испытание продукции, проводимое при представителе заказчика или третьей стороны. Определения… …   Словарь-справочник терминов нормативно-технической документации

  • Галилей Галилео — Галилео Галилей: жизнь и творчество     Галилео Галилей родился в Пизе 15 февраля 1564 г. Его родители Винченцо, музыкант и коммерсант, и Джулия Амманнати.     К 1581 г. относятся письменные сведения о Галилее ученике пизанской школы. Он должен… …   Западная философия от истоков до наших дней

  • ТУБЕРКУЛЕЗ — ТУБЕРКУЛЕЗ. Содержание: I. Исторический очерк............... 9 II. Возбудитель туберкулеза............ 18 III. Патологическая анатомия............ 34 IV. Статистика.................... 55 V. Социальное значение туберкулеза....... 63 VІ.… …   Большая медицинская энциклопедия

  • Алжир — 1) Алжирская Народная Демократическая Республика, гос во на С. З. Африки. Названо по крупнейшему городу страны, ее столице Алжир. См. также Африка. 2) столица Алжира. Город основан в X в. на четырех прибрежных о вах и по своему геогр. положению… …   Географическая энциклопедия

  • Александр I (часть 2, I) — Александр I (часть 2, I)Император Александр Первый (1801 1825).Период первый. ЭПОХА ПРЕОБРАЗОВАНИЙ (1801 1810).В первом часу пополуночи, с 11 го на 12 е марта 1801 года, граф Пален явился в Михайловском замке к Цесаревичу Александру Павловичу с… …   Большая биографическая энциклопедия

  • ОПРЕДЕЛИМОСТЬ —         одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …   Философская энциклопедия

  • Румянцев, граф Петр Александрович — — генерал фельдмаршал; сын первого графа Румянцева Александра Ивановича (см.) и супруги его, графини Марии Андреевны, урожденной графини Матвеевой (см.); родился в Москве, незадолго до кончины Петра Великого — а именно 4 го января… …   Большая биографическая энциклопедия

  • Список латинских фраз — В Викицитатнике есть страница по теме Латинские пословицы Во многих языках мира, в том числе в …   Википедия

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»