@misc{Lexikon der Argumente, title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 29 Mar 2024}, author = {Berka,Karel}, subject = {Deduktionstheorem}, note = {I 112 Def "Deduktionstheorem"/Hilbert: Wenn aus einer Formel A eine Formel B so ableitbar ist, dass jede in A auftretende freie Variable festgehalten wird. das heißt, dass sie weder zu einer für sie auszuführenden Einsetzung noch als ausgezeichnete Variable eines der Schemata (α), (β) verwendet wird, dann ist die Formel A > B ohne Benutzung der Formel A ableitbar. ((s) Elimination der Prämisse). >Prämissen, >Deduktion, vgl. >Induktion, >Logische Formel, >Ableitung, >Ableitbarkeit, >Elimination, >Eliminierbarkeit, >Variablen.}, note = { Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 }, file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=436680} url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=436680} }