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