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

dann

p und q sind dabei jeweils Formeln der Aussagenlogik bzw. Prädikatenlogik erster Stufe.

Siehe auch

• Negation, Polarität (Philosophie), Neutrosofie
• These, Deduktion, Induktion (Logik), Abduktion, Fehlschluss, Statistik, Nullhypothese, Rhetorik, Dialektik, Fehler 1. und 2. Art
• Falsch positiv, Metawissenschaft