soundness

/S AW1 N D N AH0 S/
noun
  1. 1

    The state or quality of being sound.

  2. 2

    The result or product of being sound.

  3. 3

    The property (of an argument) of not only being valid, but also of having true premises.

  4. 4

    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.

Translate โ€œsoundnessโ€ into another language

Choose a language below to open the translator with English selected as the source language.

๐Ÿ‡ช๐Ÿ‡ธSpanish๐Ÿ‡ซ๐Ÿ‡ทFrench๐Ÿ‡ฉ๐Ÿ‡ชGerman๐Ÿ‡ธ๐Ÿ‡ฆArabic๐Ÿ‡จ๐Ÿ‡ณChinese Simplified๐Ÿ‡ฏ๐Ÿ‡ตJapanese๐Ÿ‡ฎ๐Ÿ‡ณHindi๐Ÿ‡ง๐Ÿ‡ทPortuguese๐Ÿ‡ท๐Ÿ‡บRussian๐Ÿ‡ฐ๐Ÿ‡ทKorean๐Ÿ‡ฎ๐Ÿ‡นItalian๐Ÿ‡น๐Ÿ‡ทTurkish
See all 248+ languages

Source: https://en.wiktionary.org/wiki/soundness

Back to Dictionary