Цифровой идентификатор |
|
Таксономический код |
[32306, 32304, 8657, 6513, 3, 1] |
Название (Русский) |
непротиворечивость ((логика) атрибут логической системы, которая устроена таким образом, что ни одно из предложений, выводимых из аксиом, не противоречит друг другу) |
Название (Английский) |
consistency ((logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another) |
Гипероним |
logicality (correct and valid reasoning) : логичность (правильные и обоснованные рассуждения)
|
Гипонимы |
|