Lexikon

Aussagenlogik

Teil der mathematischen Logik, eine Algebra der Aussagen und ihrer Verknüpfungen. Eine Aussage im Sinn der Aussagenlogik ist ein sprachlich sinnvoller Satz, von dem feststellbar ist, ob er wahr oder falsch ist. Die wichtigsten Verknüpfungen sind: die Konjunktion AB (A und B) sie ist genau dann wahr, wenn beide Aussagen wahr sind; die Adjunktion, auch Disjunktion (Alternative): AB (A oder B, nicht ausschließendes „oder“) sie ist nur falsch, wenn beide Aussagen falsch sind; die Negation ¬A (nicht-A oder non-A) sie kehrt den Wahrheitswert um; die Implikation AB (wenn A, dann B) sie ist nur falsch, wenn A wahr und B falsch ist; die Äquivalenz AB (A genau dann, wenn B, und umgekehrt) sie ist wahr, wenn beide Aussagen wahr oder beide falsch sind.
Die Verknüpfungen der Aussagenlogik genügen bestimmten Gesetzen, z. B. den Gesetzen von De Morgan: ¬(AB)  ¬A¬B; und: ¬(AB)  ¬A¬B. Mit Hilfe dieser Gesetze lässt sich die Logik formalisieren. Wird die Aussagenlogik als strenge mathematische Theorie aufgebaut, dann bezeichnet man sie auch als Aussagenkalkül. Prädikatenlogik.
Die Aussagenlogik findet nicht nur vielfache Anwendungen auf Gebieten wie Wissenschaftstheorie, theoretische Linguistik, Physik und sogar Rechtswissenschaft und Theologie, sondern vor allem auch bei elektronischen Datenverarbeitungsanlagen (wegen der verschiedenen Schaltungen).
Illustration eines Gehirns, das gewaschen und gereinigt wird
Wissenschaft

Schlafmittel stören die natürliche Reinigung des Gehirns

Wer gut schläft, fühlt sich nicht nur ausgeruht, sondern wacht buchstäblich mit frischem Kopf auf, wie eine neue Studie belegt. Demnach spült ein hormonell betriebener Mechanismus während des Tiefschlafs Abfallstoffe aus dem Gehirn weg, die sich tagsüber abgelagert haben. Diese natürliche “Müllabfuhr” reinigt Nacht für Nacht das...

Nanooszillatoren
Wissenschaft

Mit Schwung in die Quantenwelt

Ein nanometerkleines Kügelchen schwingt mit äußerst geringer Dämpfung. Das eröffnet völlig neue Möglichkeiten, um die Quantenphysik zu testen. von DIRK EIDEMÜLLER Die Quantenmechanik ist voll von Eigentümlichkeiten. So sind Quantenobjekte Welle und Teilchen zugleich, sie können sich zu ein und derselben Zeit an mehreren Orten...

Weitere Artikel aus dem Wahrig Fremdwörterlexikon

Weitere Lexikon Artikel

Weitere Artikel aus dem Großes Wörterbuch der deutschen Sprache

Weitere Artikel aus dem Wahrig Herkunftswörterbuch