Kapitel 3: Grundbegriffe der Aussagenlogik
Kapitel 3: Grundbegriffe der Aussagenlogik
Kapitel 3: Grundbegriffe der Aussagenlogik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Mathematische und logische Grundlagen <strong>der</strong> Linguistik<br />
Syntax <strong>der</strong> <strong>Aussagenlogik</strong>: Formationsregeln 2<br />
Ableitungsbeispiel:<br />
(1) p Regel 1<br />
(2) q Regel 1<br />
(3) ¬q Regel 2, (2)<br />
(4) (p ∧ q) Regel 3a, (1), (2)<br />
(5) ¬(p (p ∧ q) Regel 2, (4)<br />
(6) (q ∨¬q) ∨¬<br />
Regel 3b, (2), (3)<br />
(7) (¬(p (p ∧ q) ⇒ (q∨¬ ∨¬q)) )) Regel 3c, (5), (6)