Поиск:
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Э
Ю
Я
Статьи
ЗАКОН КОСВЕННОГО ДОКАЗАТЕЛЬСТВА:
ЗАКОН КОСВЕННОГО ДОКАЗАТЕЛЬСТВА - - логический закон, позволяющий делать заключения об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечет противоречие. Напр.: "Если из того, что 11 не является простым числом, вытекает то, что оно делится на число, отличное от самого себя и единицы, и то, что оно не делится на такое число, то 11 есть простое число". С использованием символики логической (p, q - некоторые высказывания; -> - импликация, "если, то"; & - конъюнкция, "и"; ~ - отрицание, "неверно, что") закон записывается так: (~ p->q)&(~p->~q)->p, если (если не-р, то q) и (если не-р, то не-q), то р. 3. к. д. обычно называется также формула: (~p->q&~q)->p, если (если не-р, то q и не-q), то р. Напр.: "Если из-того, что 10 не является четным числом, вытекает то, что оно делится и не делится на 2, то 10 - четное число".
Похожие на ЗАКОН КОСВЕННОГО ДОКАЗАТЕЛЬСТВА слова / понятия:
ЗАКОН ЛОГИЧЕСКИЙ
ЗАКОН ЛОГИКИ
ЗАКОН МЫШЛЕНИЯ
ЗАКОН ОТРИЦАНИЯ ОТРИЦАНИЯ
ЗАКОН ПЕРЕХОДА КОЛИЧЕСТВА В КАЧЕСТВО
ЗАКОН ПРИРОДЫ
ЗАКОН ПРОТИВОРЕЧИЯ
ЗАКОН РАЗВИТИЯ МЕРЫ
ЗАКОН СООТНОШЕНИЯ ХОЗЯЙСТВЕННЫХ ОТРАСЛЕЙ
ЗАКОН СООТВЕТСТВИЯ ПРОИЗВОДСТВЕННЫХ ОТНОШЕНИЙ ХАРАКТЕРУ И УРОВНЮ РАЗВИТИЯ ПРОИЗВОДИТЕЛЬНЫХ СИЛ