soundness in Spanish
soundness in Spanish is completitud — soundness means the state or quality of being sound.
soundness in Spanish
completitud
(logic) The property of a logical theory that whenever a wff is a theorem then it must also be valid. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T \vdash \varphi is true, then T \vDash \varphi must also be true, for any wff φ of logic L.
What does "soundness" mean?
- noun The state or quality of being sound.
- noun The result or product of being sound.
- noun The property (of an argument) of not only being valid, but also of having true premises.
- noun The property of a logical theory that whenever a wff is a theorem then it must also be valid. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T⊢φ is true, then T⊨φ must also be true, for any wff φ of logic L.
Vocabulary Flow
Learn more English words in Spanish.
Vocabulary Flow serves English words with the Spanish meaning, one at a time — pronunciation and an example each time. Scroll it either direction.
Learn English in Spanish
Common Spanish translations
Frequently asked questions
What is "soundness" in Spanish?
"soundness" in Spanish is completitud. soundness means: The state or quality of being sound.
Study it as flashcards or scroll it in Vocabulary Flow — saved to your collection.