1. (uncountable) The state or quality of being sound.
  2. (countable) The result or product of being sound.
  3. (logic) The property (of an argument) of not only being valid, but also of having true premises.
  4. (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 \phi is true, then T \vDash \phi must also be true, for any wff φ of logic L.
  • Spanish: completitud

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.003
Offline English dictionary