Philosophie Lexikon der Argumente

Screenshot Tabelle Begriffe

Autor/Titel Begriff Zusammenfassung Metadaten
We I 109
Def Deduktionstheorem/Kalkül NS/Wessel:
MT 1. Wenn A1...An l B, so A1..An 1 l An > B.
((s) Wenn die Konklusion aus der Gesamtheit der Prämissen folgt, so folgt die letzte Prämisse aus der Gesamtheit der vorhergehenden Prämissen und aus der letzten Prämisse dann die Konklusion. Das kann man dann rückwärts fortsetzen: die vorletzte Prämisse folgt aus der Gesamtheit der vorhergehenden Prämissen, die drittletzte, usw. bis zur zweiten, die aus der ersten Prämisse folgt.)
I 110
Induktionsbeweis/Kalkül NS/Wessel: in der Konklusion B1 kann eine Annahmeformel (AF) oder eine Variante eines Axioms (VA) stehen.
Ist es eine Annahmeformel, gibt es wieder zwei mögliche Fälle: es kann die Annahmeformel An oder eine Annahmeformel verschieden von An sein.
Deduktionstheorem/Beweis/Wessel: ..++..
I 111
in diesem Beweis wurden nur die folgenden drei Theoreme verwendet:
p > (q > p),
p > (q > r) > ( p > q > (P > r)) und
p > p.
Deduktionstheorem/Wessel: als Folgerung aus ihm erhalten wir:
MT 2. Wenn A1...An l B, so l A1 > (A2 >..>(An >B)...).
Das Deduktionstheorem konstatiert eine wesentlichen Zusammenhang zwischen Beweisen und Ableitungen. In Zukunft genügt es, zum Beweis eines Theorems zunächst eine Ableitbarkeitsbeziehung zu beweisen und darauf das Deduktionstheorem anzuwenden.
Bsp aus der Ableitbarkeitsbeziehung
p > q, q > r, p l r
erhalten wir durch dreimalige Anwendung von MT 1:
T3. l p > q > (q > r > (p > r)).


_____________
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.
Der Hinweis [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] ist eine Hinzufügung des Lexikons der Argumente.

Wessel I
H. Wessel
Logik Berlin 1999

Send Link
> Gegenargumente gegen Wessel

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