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 A1 bis An deduzierbar ist (formal: A1 + A2 +... + An |̶ B), dann ist auch der Satz »Wenn A1 bis An, dann B« (formal: |̶ (A1 + A2 +. .. + An ) → B) logisch wahr. Das Deduktionstheorem geht auf A. Tarski und Jacques Herbrand (* 1908, ✝ 1931), auch auf K. Ajdukiewicz zurück.