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
Article
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.
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
Connections
formal system
Entity
semantic theory of truth
Entity
mathematical logic
Entity
Gödel's incompleteness theorems
Entity
first-order logic
Entity
logical consequence
Entity
recursive set
Entity
well-formed formula
Entity
semantics of logic
Entity
structure
Entity
Hilbert system
Entity
diagram
Entity
ground expression
Entity
logic
Entity
truth
Entity
International Standard Book Number
Entity
natural number
Entity
set theory
Entity
function
Entity
set
Entity