Philosophie Lexikon der Argumente

Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
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).


_____________
Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders.

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

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   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  



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 21.09.2017