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.
Die Dekompositionsregeln des Tableaukalküls<br />
Einteilung der Formeln in einen<br />
• konjunktiven Typ α und einen<br />
• disjunktiven Typ β<br />
Dekompositionsregeln:<br />
Konjunktiv: α Disjunktiv: β<br />
α α 1 , α 2 β β 1 , β 2<br />
F ∧ G F, G F ∨ G F, G<br />
¬(F ∨ G) ¬F, ¬G ¬(F ∧ G) ¬F, ¬G<br />
¬(F → G) F, ¬G F → G ¬F, G<br />
¬¬F F<br />
α<br />
β<br />
α i<br />
β 1 | β 2<br />
40