| Information | |
|---|---|
| has gloss | (noun) the muscle tone of healthy tissue; "his muscular firmness" firmness, soundness |
| has gloss | eng: In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that are valid with respect to its semantics. In most cases, this comes down to its rules having the property of preserving truth, but this is not the case in general. The word derives from the Germanic Sund as in Gesundheit, meaning health. Thus to say that an argument is sound means, following the etymology, to say that the argument is healthy. |
| lexicalization | eng: firmness |
| lexicalization | eng: SoundNess |
| subclass of | (noun) the property of being physically or mentally strong; "fatigue sapped his strength" strength |
| Meaning | |
|---|---|
| Catalan | |
| Show unreliable ▼ | |
| lexicalization | cat: fermesa |
| Church Slavic | |
| Show unreliable ▼ | |
| lexicalization | chu: тврьдь |
| Mandarin Chinese | |
| Show unreliable ▼ | |
| lexicalization | cmn: jiān gù xing |
| lexicalization | cmn: 坚固性 |
| lexicalization | cmn: 堅固性 |
| German | |
| lexicalization | deu: Korrektheit |
| Esperanto | |
| Show unreliable ▼ | |
| lexicalization | epo: firmeco |
| lexicalization | epo: praveco |
| lexicalization | epo: necedemo |
| Basque | |
| lexicalization | eus: irmotasun |
| Persian | |
| lexicalization | fas: صحت |
| Galician | |
| Show unreliable ▼ | |
| lexicalization | glg: firmeza |
| Hindi | |
| Show unreliable ▼ | |
| lexicalization | hin: xqDawA |
| Croatian | |
| Show unreliable ▼ | |
| lexicalization | hrv: glasnost |
| Indonesian | |
| Show unreliable ▼ | |
| lexicalization | ind: keteguhan |
| Icelandic | |
| has gloss | isl: Í rökfræði er röksemdafærsla rétt ef og aðeins ef |
| lexicalization | isl: Rétt röksemdafærsla |
| Italian | |
| has gloss | ita: In logica matematica, la correttezza è una proprietà fondamentale delle regole logiche e dei calcoli logici. |
| lexicalization | ita: correttezza |
| lexicalization | ita: solidità |
| Show unreliable ▼ | |
| lexicalization | ita: saldezza |
| Japanese | |
| has gloss | jpn: 健全性（けんぜんせい、）は、論証が次の属性を持つことと同値である。 |
| lexicalization | jpn: 健全性 |
| Korean | |
| Show unreliable ▼ | |
| lexicalization | kor: 결의가 굳은 |
| lexicalization | kor: 확고 부동 |
| Lithuanian | |
| Show unreliable ▼ | |
| lexicalization | lit: pagrįstumas |
| lexicalization | lit: nepajudinamumas |
| Macedonian | |
| has gloss | mkd: Еден логички аргумент е правилен ако и само ако |
| lexicalization | mkd: правилност |
| Dutch | |
| has gloss | nld: Een geldige redenering is in de logica en argumentatieleer een redenering die qua vorm voldoet aan de voorwaarden van een goede deductieve redenering. Dat wil zeggen dat de conclusie noodzakelijk volgt uit de premissen. |
| lexicalization | nld: Geldigheid en gezondheid |
| Show unreliable ▼ | |
| lexicalization | nld: stevigheid |
| Norwegian Bokmål | |
| Show unreliable ▼ | |
| lexicalization | nob: fasthet |
| Portuguese | |
| has gloss | por: Argumentos sólidos Um argumento é dito correto se e somente se: |
| lexicalization | por: correção |
| Russian | |
| lexicalization | rus: крепость |
| Show unreliable ▼ | |
| lexicalization | rus: уплотненность |
| lexicalization | rus: здравость |
| Castilian | |
| lexicalization | spa: fortaleza |
| Ukrainian | |
| has gloss | ukr: Логічний аргумент є правильним, тоді і лишень тоді, якщо: |
| lexicalization | ukr: Правильність |
| Show unreliable ▼ | |
| lexicalization | ukr: ґрунтовність |
| Chinese | |
| has gloss | zho: 可靠性定理是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体: 弱可靠性的和强可靠性的。“强”与“弱”的意义在于，强可靠性考虑句子的任意集合，而与弱可靠性有关的句子的空集是这种集合之一。大多数但不是全部演绎系统，强可靠性和弱可靠性都成立。 |
| lexicalization | zho: 可靠性定理 |
| Links | |
|---|---|
| opposite | (noun) not mentally or physically healthy; "no one can be a poet without a certain unsoundness of mind" unsoundness |
| Show unreliable ▼ | |
| similar | e/Soundness |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint