Kapitel 3: Grundbegriffe der Aussagenlogik
Kapitel 3: Grundbegriffe der Aussagenlogik
Kapitel 3: Grundbegriffe der Aussagenlogik
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Mathematische und logische Grundlagen <strong>der</strong> Linguistik<br />
Syntax <strong>der</strong> <strong>Aussagenlogik</strong>: Formationsregeln 1<br />
Regel 1: eine Aussagenvariable ist eine Formel.<br />
Regel 2: ist P eine Formel, dann ist auch ¬P eine<br />
Formel.<br />
Regel 3: sind P und Q Formeln, dann sind<br />
a. (P ∧ Q)<br />
b. (P ∨ Q)<br />
c. (P ⇒ Q)<br />
ebenfalls Formeln.<br />
Regel 4: Ein Ausdruck ist nur dann eine Formel, wenn er<br />
durch Anwendung <strong>der</strong> obenstehenden Regeln<br />
konstruiert werden kann.