-
Английский
-
Русский
-
Германский
-
Английский
-
Русский
-
Германский
Derivability
Перевод слова "derivability" на Русский язык
derivability
Существительное
UK
/ˌdɛrɪˈvæbɪlɪti/
US
/ˌdɛrɪˈvæbɪlɪti/
derivability
derivabilities множ.
The derivability of the theorem was proven by the mathematician.
Выводимость теоремы была доказана математиком.
Опеределения
derivability
Существительное
UK
/ˌdɛrɪˈvæbɪlɪti/
US
/ˌdɛrɪˈvæbɪlɪti/
The quality or state of being derivable; the ability to be derived or obtained from something else.
The derivability of the theorem was confirmed through a series of logical deductions.
In formal logic and mathematics, the property of a statement or formula of being provable or deducible from a given set of axioms and inference rules.
Gödel’s completeness theorem addresses the derivability of every logically valid sentence in first-order logic.