Direkt zum Inhalt

Lexikon der Mathematik: logische Ableitbarkeit

Relation zwischen Mengen von Ausdrücken und einzelnen Ausdrücken eines logischen Kalküls, die das formale Beweisen (oder das Ableiten) charakterisiert (formaler Beweis, logische Ableitungsregeln).

Lesermeinung

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnerinhalte