Kalkül (Logik)
Kalkül [französisch, zu lateinisch calculus »Rechenstein«, »(Be-)Rechnung«] der, -s/-e, Logik und Mathematik:
formales System zur Untersuchung eines Bereiches der objektiven Realität. Ein Kalkül besteht aus drei Komponenten: einem Alphabet (Vorrat an Grundzeichen, die in dem Kalkül verwendet werden dürfen), den Axiomen und den Ableitungsregeln. Das Wesen des Kalküls besteht darin, aus den Axiomen mithilfe der Ableitungsregeln neue Figuren (die dann auch Sätze
Informationen zum Artikel
Quellenangabe