Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
WENIGER ANZEIGEN
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Beispielherleitung im Hilbert-Kalkül<br />
Herleitung der Formel p → p im Kalkül von Lukasiewicz:<br />
(1) (p → (¬p → p)) → (((¬p → p) → p) → (p → p)) (A 1 )<br />
(2) p → (¬p → p) (A 3 )<br />
(3) ((¬p → p) → p) → (p → p) (MP 2,1)<br />
(4) (¬p → p) → p (A 2 )<br />
(5) p → p (MP 4,3)<br />
34
Change language