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.
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