Willkommen, schön sind Sie da!
Logo Ex Libris

Adäquatheit (Logik)

  • Kartonierter Einband
  • 140 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Adäquatheit bezeichnet in der Logik die Eigenschaft eines Kalküls, vollständig und korrekt zu sein. Adäquatheit ist eine Beziehung... Weiterlesen
20%
50.80 CHF 40.65
Auslieferung erfolgt in der Regel innert 3 bis 4 Werktagen.

Beschreibung

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 models und einem syntaktisch definierten Herleitungs- oder Ableitbarkeitsoperator vdash, 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.

Produktinformationen

Titel: Adäquatheit (Logik)
Editor:
EAN: 9786131921278
Format: Kartonierter Einband
Genre: Grundlagen
Anzahl Seiten: 140

Bewertungen

Gesamtübersicht

Meine Bewertung

Bewerten Sie diesen Artikel