Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Berka, K.
 
Bücher bei Amazon
Deduktionstheorem 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. d.h. 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).

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983



zurück zur Liste | > Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 29.03.2017