Mehrdeutigkeit der natürlichen Sprache Beispiele
Die Aussagenlogik spielt eine große Rolle im Alltag, in der Mathematik und in der Informatik. Wir möchten hier ein paar Beispiele aufführen.
Beispiel aus dem Alltag:
Möchte man an einem Geldautomaten Geld abheben, so benötigt man die Bankkarte und die dazugehörige PIN. Nur, wenn die korrekte, zur Bankkarte passende PIN eingegeben wurde, kann man Geld abheben oder Kontobuchungen veranlassen. Bei erfolgreicher PIN-Eingabe wird die gewünschte Aktion ausgeführt und die Bankkarte wieder ausgegeben. Bei mehrfachen Fehlversuchen wird keine Aktion ausgeführt und die Bankkarte einbehalten.
Beispiel aus der Mathematik:
Häufig lassen sich mathematische Ergebnisse mit Hilfe logischer Schlussregeln erzielen.
Beispielsweise ist jede durch \(10\) teilbare Zahl auch durch \(5\) teilbar. Nun ist die Zahl \(73\,320\) durch \(10\) teilbar. Daraus dürfen wir den Schluss ziehen, dass diese Zahl auch durch \(5\) teilbar ist.
Ganz allgemein ergeben sich mathematische Beweisprinzipien häufig aus den Regeln der Aussagenlogik.
Beispiel aus der Software-Entwicklung:
Bei der Software-Entwicklung tritt die Aussagenlogik bei der Formulierung und Analyse von Verzweigungs- sowie Schleifenbedingungen in Erscheinung. Ein Beispiel bildet die Abfrage- und Schleifenbedingungen für die PIN-Eingabe bei obigem Geldautomaten.
Beispiel aus der Hardware-Entwicklung:
Ein Beispiel bilden die logischen Schaltungen für die Addition zweier Binärzahlen.
\(\enspace\)