Einfach
einen Begriff in der Tabelle rechts anklicken um weitere Übersetzungen in dieser Sidebar zu erhalten.
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.