Zum Inhalt springen

Kostenlose Lerninhalte

/mathe/2083/logikverknuepfungen

Frei zugängliche, geprüfte Lerninhalte zum Verstehen, Wiederholen und selbstständigen Üben.

Artikel

Logikverknüpfungen

/mathe/2083/logikverknuepfungen

Logische Aussagen können mit Operatoren verknüpft werden. Diese werden durch Symbole dargestellt und stellen zwei Aussagen und in Beziehung.

Übersicht

In der Mengenlehre und in der Stochastik verwendet man oft abkürzende Schreibweisen für verschiedene Begriffe. Dies ist einer Liste wichtiger Zeichen.

Symbol

Gesprochen

Beudeutung

und

Es gilt sowohl Aussage , als auch Aussage .

oder

Es gilt entweder Aussage oder Aussage , oder eben beide.

Entweder oder

Es gilt entweder Aussage oder Aussage , nicht beide.

Nicht oder die Negation von

Das Gegenteil von .

impliziert

Wenn wahr ist, folgt die Aussage .

ist äquivalent

und bedeuten genau das Gleiche. Ist eine der Aussagen wahr, folgt die andere Aussage wie bei einer Implikation.