Deduktionstheorem

Deduktionstheorem, ein für viele Ableitbarkeitsrelationen in der formalen Logik gültiger Satz. Er besagt: Wenn in einem Logikkalkül die Aussage B aus den Prämissen A₁ bis A_n deduzierbar ist (formal: A₁ + A₂ + ... + A_n ⊢ B), dann ist auch der Satz »Wenn A₁ bis A_n, dann B«