As an anonymous user, you can only add new data. If you would like to also modify existing data, please create an account and indicate your languages on your user page.

soundness

Jump to: navigation, search
  •  Language: English
      •  soundness[Edit] : A state or condition free from damage or decay.
        •  Definition
          LanguageText
          CastilianEstado o condición libre de daño o deterioro.
          EnglishA state or condition free from damage or decay.
      •  soundness[Edit] : (Of a logical system) The property that its inference rules prove only formulas that are valid with respect to its semantics.
        •  Definition
          LanguageText
          Castilian(De un sistema lógico) Sus reglas de inferencia prueban únicamente fórmulas que son válidas con respecto a su semántica.
          English(Of a logical system) The property that its inference rules prove only formulas that are valid with respect to its semantics.
          French(Pour un système logique) Propriété que les règles d'inférences prouvent uniquement des formules qui sont valides par rapport à la sémantique du système.
        •  Synonyms and translations
          ExpressionAnnotation
          LanguageSpelling
           Castiliansolidezshow ▼
           Frenchcorrectionshow ▼
           GermanKorrektheitshow ▼
        •  Semantic annotations