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 />
Tautologie und Kontradition: Schlüsse<br />
Setzen wir<br />
p = Die Regierung zahlt Lösegeld und<br />
q = Die Terroristen werden ihre Opfer töten, töten<br />
dann hat die erste Prämisse die Form p ∨ q, ,<br />
die zweite die Form ¬p. .<br />
Die Konklusion soll aus <strong>der</strong> Konjunktion <strong>der</strong> Prämissen<br />
folgen, d.h. aus (p ∨ q) ∧ ¬p. .<br />
Der gesamte Schluß wird also durch die folgende Aussagen-<br />
verbindung dargestellt:<br />
(p ∨ q) ∧ ¬p ⇒ q