Title of the Article : Baumkalkül

Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth-Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments beweisen, sondern die dessen Ungültigkeit widerlegen; ein anderer, sehr 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 wichtigen klassischen Prädikatenlogik. Tableaukalküle gibt es auch für viele nichtklassische logische Systeme.

[Last contributor : WOBE3333 , Content under LGPL licence]

Detailed statistics

Number of views for this article Number of quality votes for this article Number of votes 'not clear' for this article Number of votes 'wrong' for this article
daily 1 0 0 0
global 502 22 13 10
This is a quality article
This article is not clear!
This article is wrong

Participate in this top by giving your opinion on the quality of this article short resume and by giving a general rating.
Register in order to improve your reputation and so the weight of your opinion.

Please wait...
Item popularity: 2.2/5 (19 vote cast)

Categories related to this article

Mathematische Logik

Comments