Deduktionstheorem
In der mathematischen Logik sagt das Deduktionstheorem aus, dass wenn aus einer Prämisse durch Anwendung einer Inferenzregel eine Schlussfolgerung hergeleitet werden kann, dann behauptet werden kann, dass die Prämisse die Schlussfolgerung impliziert.Formal ausgedrückt:
Wenn
Siehe auch