soundness
Sign in to saveAlso known as sound, logically sound, logical soundness
In logic, soundness can refer to either a property of arguments or a property of formal deductive systems.
~6 min read
Encyclopedic overview
10 sectionsContents
- Definition for arguments
- Definition for formal systems
- Weak soundness
- Strong soundness
- Arithmetic soundness
- Relation to completeness
- See also
- References
- Bibliography
- External links
In logic, soundness can refer to either a property of arguments or a property of formal deductive systems.
An argument is sound if (and only if) it is both valid in form and has no false premises.
Excerpted from Wikipedia’s “soundness” article, available under the CC BY-SA 4.0 licence.
Available in 20 languages
- Español
- Français
- Deutsch
- 中文
- 日本語
- Português
- Italiano
- العربية
- Bahasa Indonesia
- Catalan
- Central Kurdish
- Hebrew
- Icelandic
- Macedonian
- Nederlands
- Svenska
- Ukrainian
- فارسی
Show 1 more
via Wikidata sitelinks · CC0