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