Adäquatheit (Logik), Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Adäquatheit bezeichnet in der Logik die Eigenschaft eines Kalküls, vollständig und korrekt zu sein. Adäquatheit ist eine Bezi... Mehr erfahren
Finde die besten Angebote
Bester Preis22 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Adäquatheit bezeichnet in der Logik die Eigenschaft eines Kalküls, vollständig und korrekt zu sein. Adäquatheit ist eine Beziehung zwischen einem semantisch definierten Folgerungsoperator und einem syntaktisch definierten Herleitungs- oder Ableitbarkeitsoperator, die besagt, dass alles, was syntaktisch hergeleitet werden kann, auch semantisch gefolgert werden kann, und umgekehrt. Das bedeutet, dass sich die Begriffe der Beweisbarkeit und der Ableitbarkeit im Kalkül mit den jeweiligen Begriffen der Allgemeingültigkeit und der logischen Folgerung decken. Jede Tautologie ist dann also auch ein Theorem, und umgekehrt.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing