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

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

Закон Косвенного Доказательства

- логический закон, позволяющий делать заключения об истинности какого-то выска­зывания на основании того, что отрицание этого высказывания влечет противоречие. Напр.: «Если из того, что 11 не является простым числом, вытекает то, что оно делится на число, отлич­ное от самого себя и единицы, и то, что оно не делится на такое число, то 11 есть простое число». С использованием символики логической (p, q — некоторые выска­зывания; -> — импликация, «если, то»; & — конъюнкция, «и»; ~ — отрицание, «неверно, что») закон записывается так: (~ p->q)&(~p->~q)->p, если (если не-р, то q) и (если не-р, то не-q), то р. 3. к. д. обычно называется также формула: (~p->q&~q)->p, если (если не-р, то q и не-q), то р. Напр.: «Если из-того, что 10 не является четным числом, вытекает то, что оно делится и не делится на 2, то 10 - четное число».
Латинская транскрипкия: [zakon kosvennogo dokazatelstva]

→ Закон Логики см.: Логический закон.
← Закон Композиции (от лат. compositio — сочинение, состав­ление) - общее название ряда логических законов, позволяющих объединять следствия определенных условных ...





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