Словари

Главная / Словарь логики / Д / Доказательство По Случаям

Что такое Доказательство По Случаям? Значение и толкование слова dokazatelstvo po sluchajam, определение термина

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

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Доказуемость - см.: Доказательство.
Дополнение К Множеству -  - такое множество не-А, когда A + не-А = 1, где 1 обозначает некоторую предметную область...
Достаточного Основания Принцип -  - принцип, требу­ющий, чтобы в случае каждого утверждения указывались основа­ния, в силу которых...
Достаточное Условие - см.: Условное высказывание.
Достоверность -  - обоснованность, доказательность, бесспор­ность знания. Достоверное суждение - такое суждение,...