Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Berka, K.
 
Books on Amazon
Deduction Theorem 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




back to list view | > Suggest your own contribution | > Suggest a correction
 
Ed. Martin Schulz, access date 2017-03-28