DIE CHALLENGE
Und? Gelöst?
Die richtige Aussage ist: Alle gelben Enten, die Kinder haben, sind glücklich.
Denn jede gelbe Ente hat Kinder, die ebenfalls gelb sind, egal, ob ihr Partner auch eine gelbe Ente ist oder nicht. Wenn ihre Kinder ebenfalls gelb sind, können sie auch schwimmen: Und Eltern schwimmender Kinder sind bekanntlich glücklich!
Das ist Informatik!
Aussagenlogik ist ist einer der Berührungspunkte zwischen Mathematik und Informatik: Sie bildet die Grundlage für die Analyse und Konstruktion von komplexeren logischen Systemen. Der Inhalt der Aussagen ist dabei nicht wichtig, sondern nur, ob sie wahr oder falsch sind.
Im Informatikunterricht in der Schule wird die Aussagenlogik zum Beispiel genutzt, um sich dem Schaltungsdesign anzunähern. Mit ihrer Hilfe lässt sich die Funktionsweise von digitalen Schaltungen beschreiben – denn Modelle von Schaltungen implementieren oft die Grundoperationen der Aussagenlogik wie Konjunktion, Disjunktion und Negation.
Gummienten sind sehr gute Zuhörer. (© Jason Richard / Unsplash)
Wer A sagt muss nicht B sagen
Negation (Verneinung) einer Aussage
Die Negation ¬ A einer Aussage A ist wahr, wenn A falsch ist.
Konjunktion (UND-Verknüpfung) von Aussagen
Die Konjunktion A∧B zweier Aussagen A und B ist wahr, wenn sowohl A als auch B wahr ist.
Disjunktion (ODER-Verknüpfung) von Aussagen
Die Disjunktion A∨B zweier Aussagen A und B ist wahr, wenn mindestens eine der Aussagen wahr ist.