Deduktionstheorem: Das Deduktionstheorem ist ein Metatheorem der Logik, das besagt, dass, wenn ein Satz B aus einem Satz A abgeleitet werden kann, auch die Implikation A → B ableitbar ist. Mit anderen Worten Wenn wir beweisen können, dass B wahr ist, wenn A wahr ist, dann können wir auch beweisen, dass A B impliziert.
Der Deduktionssatz ist ein nützliches Instrument zum Beweisen von Theoremen, da er es uns ermöglicht, komplexe Beweise in kleinere, besser handhabbare Schritte zu zerlegen._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.
|