Словарь логики - закон косвенного доказательства
Закон косвенного доказательства
закон косвенного доказательства
логический закон, позволяющий делать заключения об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечет противоречие. Напр.: «Если из того, что 11 не является простым числом, вытекает то, что оно делится на число, отличное от самого себя и единицы, и то, что оно не делится на такое число, то 11 есть простое число». С использованием символики логической (p, q — некоторые высказывания; -> — импликация, «если, то»; & — конъюнкция, «и»; ~ — отрицание, «неверно, что») закон записывается так: (~ p->q)&(~p->~q)->p, если (если не-р, то q) и (если не-р, то не-q), то р. 3. к. д. обычно называется также формула: (~p->q&~q)->p, если (если не-р, то q и не-q), то р. Напр.: «Если из-того, что 10 не является четным числом, вытекает то, что оно делится и не делится на 2, то 10 четное число». .Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 376 | |
2 | 373 | |
3 | 365 | |
4 | 341 | |
5 | 341 | |
6 | 337 | |
7 | 330 | |
8 | 328 | |
9 | 328 | |
10 | 327 | |
11 | 322 | |
12 | 319 | |
13 | 316 | |
14 | 315 | |
15 | 314 | |
16 | 312 | |
17 | 312 | |
18 | 310 | |
19 | 309 | |
20 | 302 |