Kap. I Zweiwertige Aussagenlogik.- ? 1 Aussagenlogische Verkn?pfungen und Boolesche Funktionen.- Die beiden Hauptprinzipien der klassischen Logik.- Die sogenannten Paradoxien der extensionalen Implikation.- ?bersichtliche Zusammenstellung der Aussagenverkn?pfungen und ihrer Wahrheitswertefunktionen.- Reduzierbarkeit von Verkn?pfungen.- ? 2 Aussagenlogische Formeln, Erf?llbarkeit, Allgemeing?itigkeit.- Der Aufbau aussagenlogischer Formeln.- Das Beweisprinzip der Induktion ?ber den Formelaufbau.- Der Wert einer Formel bei einer Belegung.- Erf?llbarkeit.- Ein logisch-kombinatorisches Problem.- Allgemeing?ltigkeit.- ? 3 Logische ?quivalenz, Normalformen und funktionale Vollst?ndigkeit.- Logische ?quivalenz-Verschrfung und Abschw?chung.- Die TARSKI-Algebra.- Normalformen und funktionale Vollst?ndigkeit.- Funktionale Unvollst?ndigkeit.- ? 4 Aussagenlogisches Folgern und der Endlichkeitssatz.- Definition und erste Eigenschaften des aussagenlogischen Folgerns.- Der Endlichkeitssatz und Anwendungsbeispiele.- ? 5 Interpolation und Definierbarkeit.- Der einfache Interpolationssatz.- Definierbarkeit.- Ein allgemeiner Interpolationssatz und Anwendungen.- Algebraische Fassung des Definierbarkeitstheorems.- Kap.II Aussagenlogische Kalk?le und Einf?hrung in die Theorie der deduktiven Systeme.- ?1 Der klassische Tableau-Kalk?l.- Beispiele von Tableaus.- Der Tableau-Kalk?l.- Ad?quatheit des T-Kalk?ls.- Der Tableau-Kalk?l als Entscheidungsverfahren.- ?2 Klassische Regel-Kalk?le und Axiom-Regel-Kalk?le.- Der Kalk?l des nat?rlichen Schlie?ens.- Pr?zisierung des Kalk?ls.- Grundeigenschaften der Ableitungsrelation.- Beweisbarkeit auf der Grundlage des S-Kalk?ls.- Konsistenz.- Beweis der Vollst?ndigkeit durch Reduktion des Problems auf den T Kalk?l.- Der Kalk?l AK.- ? 3 Deduktive Systeme ein zweiter Vollst?ndigkeitsbeweis.- Deduktive Systeme.- Der Existenzsatz f?r relativ maximale Mengen.- J-Systeme und I-Systeme.- Relativ maximale und komplette Mengen-Anwendungen.- ? 4 Einf?hrung in diel]
![Klassische und nichtklassische Aussagenlogik [Paperback]](/itemImage/2/1/9/5/2_850802.jpg "Klassische und nichtklassische Aussagenlogik [Paperback] xxx")