Kalkül
System von Aussagen und Regeln / aus Wikipedia, der freien encyclopedia
Liebe Wikiwand-AI, fassen wir uns kurz, indem wir einfach diese Schlüsselfragen beantworten:
Können Sie die wichtigsten Fakten und Statistiken dazu auflisten Logikkalkül?
Fass diesen Artikel für einen 10-Jährigen zusammen
ZEIGE ALLE FRAGEN
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ea/Disambig-dark.svg/25px-Disambig-dark.svg.png)
Dieser Artikel behandelt das Kalkül in formalen Wissenschaften. Zum Kalkül in Datenbank siehe Kalkül (Datenbank).
Als der oder das Kalkül (französisch calcul „Rechnung“; von lateinisch calculus „Rechenstein“, „Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein formales System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen ableiten lassen. Kalküle, auf eine Logik selbst angewandt, werden auch Logikkalküle genannt.
Das Wort Kalkül im logischen und mathematischen Sinn ist ein Maskulinum (der Kalkül). Kalkül im umgangssprachlichen Sinn wird auch als Neutrum (das Kalkül, deshalb auch „ins Kalkül ziehen“) in der Bedeutung von „Berechnung“ oder „Überlegung“ verwendet.[1]