Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
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
Change language