На главную О проекте Обратная связь Помочь проекту Добавить в "Избранное"

  
Наши слова →  Словарь логики →  А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Доказательство По Случаям

или: Доказательство разбором случаев, — логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имею­щих одинаковое следствие, осуществляется переход к утвержде­нию этого следствия путем установления того, что по меньшей мере одно из оснований условных высказываний истинно. В наи­более простом случае посылками являются высказывания: «Если есть первое, то есть третье», «Если есть второе, то есть третье» и «Есть первое или есть второе», заключением — высказывание «Есть третье». Напр.: «Если будет дождь, мы пойдем в кино; если будет холодно, мы пойдем в кино; будет дождь или будет холодно; зна­чит, мы пойдем в кино». Более сложные формы Д. п. с. включают не две, а большее число альтернатив. В случае, когда таких альтернатив три, на ос­нове посылок: «Если есть первое, то есть четвертое», «Если есть второе, есть четвертое», «Если есть третье, есть четвертое» и «Есть или первое, или второе, или третье» доказывается тезис «Есть четвертое». Наиболее простая форма Д. п. с. в традиционной логике называет­ся простой конструктивной дилеммой; термин «Д. п. с.» обычен в математике. Более сложные формы Д. п. с., включающие более двух условных высказываний, иногда по традиции именуют-сятрилеммой, тетралеммой, полилеммой.
Латинская транскрипкия: [dokazatelstvo po sluchayam]

→ Доказуемость см.: Доказательство.
← Доказательство От Противного см.: Косвенное доказа­тельство.





© nashislova.ru - Все словари 2009 Информация публикуется на сайте исключительно для ознакомительных целей и основана на свободно распостраняемых версиях словарей. Администрация не несет ответственности за любые неточности в текстах.
Rambler's Top100
Выполнено за: 0.025 c.