доказательство разбором случаев


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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 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 , но научная разработка понятия о внушении в специальном смысле началась… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона


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

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.