[{"word":"soundness","phonetics":[],"meanings":[{"partOfSpeech":"noun","definitions":[{"definition":"The state or quality of being sound.","synonyms":[],"antonyms":[]},{"definition":"The result or product of being sound.","synonyms":[],"antonyms":[]},{"definition":"The property (of an argument) of not only being valid, but also of having true premises.","synonyms":[],"antonyms":[]},{"definition":"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.","synonyms":[],"antonyms":[]}],"synonyms":[],"antonyms":[]}],"license":{"name":"CC BY-SA 3.0","url":"https://creativecommons.org/licenses/by-sa/3.0"},"sourceUrls":["https://en.wiktionary.org/wiki/soundness"]}]