Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Eigenschaften des Tableaukalküls (2)<br />
Regularität: Keine Formel darf mehr als einmal auf einem Ast vorkommen.<br />
Aus Regularität folgt Striktheit.<br />
Satz: Für jede aussagenlogische Formel gibt es nur endlich große und endlich viele<br />
reguläre Tableaux.<br />
Beweiskonfluenz:<br />
Ein Kalkül ist beweiskonfluent, wenn sich zu jedem Zeitpunkt ein Beweis durch<br />
weitere Anwendung der Kalkülregeln finden läßt.<br />
Satz: Der (reguläre) Tableaukalkül ist beweiskonfluent.<br />
44