Словари

Главная / Словарь логики / З / Закон Косвенного Доказательства

Что такое Закон Косвенного Доказательства? Значение и толкование слова zakon kosvennogo dokazatelstva, определение термина

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

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

Закон Логики - см.: Логический закон.
Закон Мышления - - термин традиционной логики,  обозна­чавший требование к логически совершенному мышлению, имею-...
Закон Противоречия - см.: Непротиворечия закон.
Закон Экспортации - Импортации - (от лат. exportare -вывозить, importare — ввозить)  — логический закон, говорящий о заменимости в...
Знак -  - материальный предмет, воспроизводящий свойства, отношения некоторого другого предмета....
Знание -  — результат процесса познания действительности, получивший подтверждение в практике; адекватное...
Значение -  — содержание, связываемое с тем или иным языко­вым выражением. Вопрос о 3. языковых выражений...