- непротиворечивость
- f. consistency
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
непротиворечивость — непротиворечивость … Орфографический словарь-справочник
НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) … Философская энциклопедия
НЕПРОТИВОРЕЧИВОСТЬ — совместимость, отсутствие противоречия логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность его интерпретации и является… … Большой Энциклопедический словарь
непротиворечивость — согласованность, совместимость, соответствие; логичность. Ant. противоречивость Словарь русских синонимов. непротиворечивость сущ., кол во синонимов: 1 • логичность (12) … Словарь синонимов
НЕПРОТИВОРЕЧИВОСТЬ — англ. non contradiction; нем. Widerspruchsfrei. Критерий правильного логического мышления, означающий, что в суж дении, доказательстве, теории нет противоположных или противоречивых утверждений об одном и том же предмете, взятом в одно и то же… … Энциклопедия социологии
непротиворечивость — НЕПРОТИВОРЕЧИВОСТЬ свойство совокупности утверждений, состоящее в отсутствии среди выводимых из этой совокупности противоречащих друг другу утверждений или противоречащего подразумеваемому истолкованию утверждений. В логических… … Энциклопедия эпистемологии и философии науки
непротиворечивость — Отсутствие в базах данных, либо частях одной и той же базы сведений, которые бы противоречили друг другу. [Гипертекстовый энциклопедический словарь по информатике Э. Якубайтиса] [http://www.morepc.ru/dict/] Тематики информационные технологии в… … Справочник технического переводчика
непротиворечивость — совместимость, отсутствие противоречия логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность его интерпретации и является… … Энциклопедический словарь
Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… … Википедия
непротиворечивость — свойство предложений некоторой теории (в случае аксиоматической теории системы ее аксиом), заключающееся в невыводимости из них противоречия. Если отрицание какого то предложения может быть доказано в теории, то о самом предложении говорится, что … Словарь терминов логики
непротиворечивость — ▲ согласованность ↑ логический непротиворечивость логическая согласованность; отсутствие противоречий; непротиворечие; условие существования. непротиворечивый (# теория). последовательность. последовательный (# вывод). логичный (# упрек).… … Идеографический словарь русского языка