Soundness

Beschreibung

Format auswählen

Kartonierter EinbandCHF 28.75

Kartonierter Einband

CHF28.75

TIEFPREIS

CHF28.75

Print on Demand - Exemplar wird für Sie gedruckt.

Kostenlose Lieferung

Kein Rückgaberecht

Beschreibung

High Quality Content by WIKIPEDIA articles! 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.