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.
Beispieltableau<br />
(1) ¬((p → q) → (¬p ∨ q))<br />
| α(1)<br />
(2) p → q<br />
| α(1)<br />
(3) ¬(¬p ∨ q)<br />
| α(3)<br />
(4) ¬¬p<br />
| α(3)<br />
(5) ¬q<br />
| β(2)<br />
(6) ¬p | q (7)<br />
| α(4) ∗<br />
(8) p<br />
∗<br />
42