Kalkül
Logisches Regelwerk
Basiswissen
Als der oder das Kalkül 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.