Suchen
 
 

Ergebnisse in:
 


Rechercher Fortgeschrittene Suche

Die neuesten Themen
» Abflußreinigen,schnell & effektiv
Gestern um 2:53 am von checker

» R.I.P. Sigi
Do Aug 17, 2017 9:18 pm von Andy

» "Dunkirk", auch eine belgische Kriegsgesichte
So Jul 30, 2017 8:54 pm von checker

» Vor 100 Jahren: Die Schlacht von Passendale
So Jul 30, 2017 8:42 pm von checker

» Wars der Geyer oder war er es nicht?
Mi Jul 26, 2017 9:32 pm von Andy

» Unterstützte VW-Konzern Militärdiktatur in Brasilien?
Mi Jul 26, 2017 9:12 pm von Andy

» R.I.P. M. Rother
Mi Jul 26, 2017 8:08 pm von Andy

» "Asterix bei den Belgiern"
Mi Jul 26, 2017 7:17 pm von Andy

» Der "Mud Soldier"
Mi Jul 26, 2017 7:13 pm von Andy

Navigation
 Portal
 Index
 Mitglieder
 Profil
 FAQ
 Suchen
Partner
free forum
August 2017
MoDiMiDoFrSaSo
 123456
78910111213
14151617181920
21222324252627
28293031   

Kalender Kalender


Baumkalküle oder Tableaukalküle

Vorheriges Thema anzeigen Nächstes Thema anzeigen Nach unten

Baumkalküle oder Tableaukalküle

Beitrag  checker am So Sep 06, 2015 9:05 am

Baumkalküle oder Tableaukalküle, nach ihrem Erfinder auch Beth-Kalküle genannt, sind Widerlegungskalküle der Logik. Widerlegungskalküle sind logische Kalküle, die nicht die Gültigkeit eines Arguments beweisen, sondern die dessen Ungültigkeit widerlegen. Ein anderer bekannter Widerlegungskalkül ist der Resolutionskalkül.

Der Name „Baumkalkül“ rührt daher, dass beim Ableiten in einem Beth-Kalkül eine Baumstruktur erzeugt wird. Diese Aussage ist eine Beschreibung, keine Definition, weil nicht jeder Kalkül, der Baumstrukturen erzeugt, auch Baumkalkül genannt wird. Die entstandenen Baumstrukturen werden auch Beth-Tableaux oder Beth-Tableaus (französischer bzw. eingedeutschter Plural von Beth-Tableau) genannt.

In diesem Artikel soll ein Baumkalkül für die klassische Aussagenlogik vorgestellt werden: Ein Kalkül für die klassische Logik deshalb, weil die historisch ersten Baumkalküle klassisch waren; ein Kalkül für die Aussagenlogik deshalb, weil dieser der einfachste ist und die Grundlage vieler anderer Baumkalküle bildet, zunächst für den Baumkalkül der Prädikatenlogik. Tableaukalküle gibt es auch für viele nichtklassische logische Systeme.

Grundlagen

Für klassische Logiken lässt sich sehr intuitiv ein semantischer Schlussbegriff fassen: Ein Argument ist genau dann gültig, wenn unter allen Interpretationen, unter denen alle Prämissen wahr sind, auch die Konklusion wahr ist; kürzer, prägnanter und mit Leibniz: Aus Wahrem folgt nur Wahres. Somit ist ein Argument genau dann ungültig, wenn es mindestens eine Interpretation gibt, unter der alle Prämissen wahr sind, unter der die Konklusion aber falsch ist.

Wenn ein Satz falsch ist, dann ist nach der klassischen Semantik seine Verneinung wahr. Statt zu sagen, ein Argument ist genau dann ungültig, wenn es mindestens eine Interpretation gibt, unter der alle Prämissen wahr sind, unter der die Konklusion aber falsch ist, kann man daher genauso gut folgendes sagen: Ein Argument ist genau dann ungültig, wenn es mindestens eine Interpretation gibt, unter der alle Prämissen wahr sind und unter der auch die Negation der Konklusion wahr ist.

Weiteres dazu im Link:
https://de.wikipedia.org/wiki/Baumkalk%C3%BCl
avatar
checker
Moderator
Moderator

Anzahl der Beiträge : 32436
Anmeldedatum : 03.04.11
Ort : Braunschweig

Benutzerprofil anzeigen

Nach oben Nach unten

Vorheriges Thema anzeigen Nächstes Thema anzeigen Nach oben

- Ähnliche Themen

 
Befugnisse in diesem Forum
Sie können in diesem Forum nicht antworten