Philosophie Lexikon der ArgumenteHome | |||
| |||
H. Wessel - Philosophie Lexikon der Argumente | |||
H. Wessel (1936-2019), deutscher Logiker. Hauptwerke sind Logik und Philosophie (1976), Terminigebrauch und Folgebeziehung (1983) und Logik, Dass-Termini: Intensionalität und Ersetzbarkeit (1993). Seine Forschungsgebiete waren die klassische Logik, die nicht-klassische Logik und die Sprachphilosophie.
Normdaten zur Katalogisierung: VIAF LCCN GND | |||
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. | |
|