Словарь логики - доказательство по случаям
Доказательство по случаям
доказательство по случаям
или: Доказательство разбором случаев, — логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется переход к утверждению этого следствия путем установления того, что по меньшей мере одно из оснований условных высказываний истинно. В наиболее простом случае посылками являются высказывания: «Если есть первое, то есть третье», «Если есть второе, то есть третье» и «Есть первое или есть второе», заключением — высказывание «Есть третье». Напр.: «Если будет дождь, мы пойдем в кино; если будет холодно, мы пойдем в кино; будет дождь или будет холодно; значит, мы пойдем в кино». Более сложные формы Д. п. с. включают не две, а большее число альтернатив. В случае, когда таких альтернатив три, на основе посылок: «Если есть первое, то есть четвертое», «Если есть второе, есть четвертое», «Если есть третье, есть четвертое» и «Есть или первое, или второе, или третье» доказывается тезис «Есть четвертое». Наиболее простая форма Д. п. с. в традиционной логике называется простой конструктивной дилеммой; термин «Д. п. с.» обычен в математике. Более сложные формы Д. п. с., включающие более двух условных высказываний, иногда по традиции именуют-сятрилеммой, тетралеммой, полилеммой. .Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 374 | |
2 | 371 | |
3 | 363 | |
4 | 339 | |
5 | 338 | |
6 | 335 | |
7 | 328 | |
8 | 326 | |
9 | 325 | |
10 | 325 | |
11 | 320 | |
12 | 316 | |
13 | 314 | |
14 | 313 | |
15 | 311 | |
16 | 310 | |
17 | 309 | |
18 | 308 | |
19 | 307 | |
20 | 300 |