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