доказательство по случаям
- доказательство по случаям
логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется переход к утверждению этого следствия путем установления того, что по меньшей мере одно из оснований условных высказываний истинно. В наиболее простом случае посылками являются высказывания: "Если есть первое, то есть третье", "Если есть второе, то есть третье" и "Есть первое или есть второе", заключением - высказывание "Есть третье". Напр.: "Если будет дождь, мы пойдем в кино; если будет холодно, мы пойдем в кино; будет дождь или будет холодно; значит, мы пойдем в кино".
Более сложные формы Д. п. с. включают не две, а большее число альтернатив. В случае, когда таких альтернатив три, на основе посылок: "Если есть первое, то есть четвертое", "Если есть второе, есть четвертое", "Если есть третье, есть четвертое" и "Есть или первое, или второе, или третье" доказывается тезис "Есть четвертое". Наиболее простая форма Д. п. с. в традиционной логике называется простой конструктивной дилеммой; термин "Д. п. с." обычен в математике. Более сложные формы Д. п. с., включающие более двух условных высказываний, иногда по традиции именуют-сятрилеммой, тетралеммой, полилеммой.
Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС.
А.А.Ивин, А.Л.Никифоров.
1997.
Смотреть что такое "доказательство по случаям" в других словарях:
ДОКАЗАТЕЛЬСТВО РАЗБОРОМ СЛУЧАЕВ — рассуждение по случаям (англ. proof by cases), – распространенный (особенно в содержательном мышлении) способ логич. вывода, при к ром справедливость заключения устанавливается посредством рассмотрения ряда условий (случаев), анализ к рых… … Философская энциклопедия
Доказательство от противного — (лат. reductio ad absurdum) вид Доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса при этом достигается… … Большая советская энциклопедия
Румянцев, граф Петр Александрович — — генерал фельдмаршал; сын первого графа Румянцева Александра Ивановича (см.) и супруги его, графини Марии Андреевны, урожденной графини Матвеевой (см.); родился в Москве, незадолго до кончины Петра Великого — а именно 4 го января… … Большая биографическая энциклопедия
Галилей Галилео — Галилео Галилей: жизнь и творчество Галилео Галилей родился в Пизе 15 февраля 1564 г. Его родители Винченцо, музыкант и коммерсант, и Джулия Амманнати. К 1581 г. относятся письменные сведения о Галилее ученике пизанской школы. Он должен… … Западная философия от истоков до наших дней
Список латинских фраз — В Викицитатнике есть страница по теме Латинские пословицы Во многих языках мира, в том числе в … Википедия
Эксперт — (Expert) Содержание Содержание Требования к эксперту. Права и обязанности эксперта. Право эксперта на проявление инициативы. Отвод эксперта. Заключение эксперта как судебное доказательство. Допрос эксперта. Вознаграждения эксперта за выполненную … Энциклопедия инвестора
СХИЗОФРЕНИЯ — (отгреч. schizo расщепляю и phren душа, ум), псих, заболевание из группы т. н. органических и деструктивных процессов, характеризующееся гл. обр. расщеплением псих, деятельности человека. Проблема С. как определенного психоза принадлежит к числу… … Большая медицинская энциклопедия
Правовое регулирование сексуальных контактов с животными — Половые … Википедия
ПРОГРАММА — 5.4.16. ПРОГРАММА Данные, предназначенные для управления конкретными компонентами системы обработки информации в целях реализации определенного алгоритма ГОСТ 19781 Источник: РМ 4 239 91: Системы автоматизации. Словарь справочник по терминам.… … Словарь-справочник терминов нормативно-технической документации
Пушкин, Александр Сергеевич — — родился 26 мая 1799 г. в Москве, на Немецкой улице в доме Скворцова; умер 29 января 1837 г. в Петербурге. Со стороны отца Пушкин принадлежал к старинному дворянскому роду, происходившему, по сказанию родословных, от выходца "из… … Большая биографическая энциклопедия
