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 4<br />
Bei <strong>der</strong> strikten Anwendung <strong>der</strong> Formationsregeln können<br />
komplizierte Klammeraustrücke entstehen, die man jedoch<br />
vereinfachen kann, wenn man für die logischen Konstanten<br />
Regeln für die Reihenfolge <strong>der</strong> Auswertung definiert, sog.<br />
Bindungsregeln. Es gelten folgende Regeln<br />
♦ ¬ bindet stärker als ∧ , d.h. ¬p p ∧ q ist zu lesen als<br />
(¬p) p) ∧ q und nicht als ¬(p (p ∧ q)<br />
♦ ∧ bindet stärker als ∨ , d.h. p ∧ q ∨ r ist zu lesen als<br />
(p ∧ q) ∨ r und nicht als p ∧ (q ∨ r)<br />
♦ ∨ bindet stärker als ⇒ , d.h. p ∨ q ⇒ r ist zu lesen als<br />
(p ∨ q) ⇒ r und nicht als p ∨ (q ⇒ r)