Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data

 
Books on 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. daß 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




> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-05-29