Санлы идентификатор |
|
Таксономический код |
[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) : логичность (правильные и обоснованные рассуждения)
|
Гипонимнар |
|