Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe



 Deduktionstheorem - Philosophie Lexikon der Argumente
 
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.

 
Autor Begriff    Weitere Begriffe zu Autor
Berka, Karel Deduktionstheorem   Berka, Karel
Hilbert, David Deduktionstheorem   Hilbert, David
Wessel, H. Deduktionstheorem   Wessel, H.

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z