доказательство разбором случаев
- доказательство разбором случаев
логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется переход к утверждению этого следствия путем установления того, что по меньшей мере одно из оснований условных высказываний истинно. В наиболее простом случае посылками являются высказывания: "Если есть первое, то есть третье", "Если есть второе, то есть третье" и "Есть первое или есть второе", заключением - высказывание "Есть третье". Напр.: "Если будет дождь, мы пойдем в кино; если будет холодно, мы пойдем в кино; будет дождь или будет холодно; значит, мы пойдем в кино".
Более сложные формы Д. п. с. включают не две, а большее число альтернатив. В случае, когда таких альтернатив три, на основе посылок: "Если есть первое, то есть четвертое", "Если есть второе, есть четвертое", "Если есть третье, есть четвертое" и "Есть или первое, или второе, или третье" доказывается тезис "Есть четвертое". Наиболее простая форма Д. п. с. в традиционной логике называется простой конструктивной дилеммой; термин "Д. п. с." обычен в математике. Более сложные формы Д. п. с., включающие более двух условных высказываний, иногда по традиции именуют-сятрилеммой, тетралеммой, полилеммой.
Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС.
А.А.Ивин, А.Л.Никифоров.
1997.
Смотреть что такое "доказательство разбором случаев" в других словарях:
ДОКАЗАТЕЛЬСТВО РАЗБОРОМ СЛУЧАЕВ — рассуждение по случаям (англ. proof by cases), – распространенный (особенно в содержательном мышлении) способ логич. вывода, при к ром справедливость заключения устанавливается посредством рассмотрения ряда условий (случаев), анализ к рых… … Философская энциклопедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
Натуральное исчисление — исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и независимо польским логиком С. Яськовским) с целью формализации процесса логического … Большая советская энциклопедия
НАТУРАЛЬНОЕ ИСЧИСЛЕНИЕ — (исчисление естественного в ы в о д а) – общее название логич. исчислений [введенных и впервые описанных нем. логиком и математиком Г. Генценом (1934) и польским логиком С. Яськовским (1934) с целью формализации процесса логич. вывода ], более… … Философская энциклопедия
Федеральный суд США — (USA Federal judiciary) Федеральный суд США это орган судебной власти США федерального уровня, созданный правительством для разрешения споров федерального уровня Федеральный суд США: федеральная судебная система США, кем назначаются судьи… … Энциклопедия инвестора
Александр II (часть 2, VIII-XII) — VIII. Тысячелетие России (1861—1862). Высочайший манифест об освобождении крестьян, обнародованный в С. Петербурге и в Москве в воскресенье 5 го марта, был объявлен во всех губернских городах нарочно командированными генерал майорами свиты… … Большая биографическая энциклопедия
Варяжский вопрос — о происхождении Русского государства, возбужденный в начале прошлого века. Первые исследователи, занимавшиеся разбором повествования Нестора о призвании варягов, все почти в общем признавали его достоверность, видя в варяго руссах выходцев из… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Лесток, Иоганн Герман — (Арман, Иван Иванович) граф Римской империи, доктор хирург, первый придворный лейб медик, действительный тайный советник, главный директор медицинской канцелярии и всего медицинского факультета; род. 29 апреля 1692 г., умер 12 июня 1767 г. Лесток … Большая биографическая энциклопедия
Панин, граф Петр Иванович — генерал аншеф, младший сын сенатора Ивана Васильевича П. (см.) родился в 1721 г. в родовом селе Везовне Мещовского уезда Калужской губернии; умер скоропостижно в Москве 15 го апреля 1789 года. Детство свое Петр Иванович провел вместе с братом… … Большая биографическая энциклопедия
Внушение — Независимо от прямого, обыденного смысла этого слова, не требующего пояснений, оно приобрело значение технического термина, соответствующего французскому suggestion , но научная разработка понятия о внушении в специальном смысле началась… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона