Quantoren
Formel
Quantoren
Quantoren sind neben den Junktoren Symbole der Aussagenlogik. Quantoren legen fest, für welche Elemente der Grundmenge eine Aussage gilt. Man unterscheidet in den
Allquantor
Der Allquantor ist ein Symbol der Aussagelogik. „Für alle … gilt …“. Eine Allaussage kann man mit einem einzigen Gegenbeispiel widerlegen. Das Symbol für den Allquantor sieht wie folgt aus: \(\forall\)
Existenzquantor
Der Existenzquantor ist ein Symbol der Aussagelogik. „Es gibt mindestens ein … für das gilt …“. Eine Existenzaussage kann mit nur einem Beispiel bewiesen werden. Das Symbol für den Existenzquantor sieht wie folgt aus: \(\exists\)
eindeutiger Existenzquantor
Der eindeutige Existenzquantor ist ein Symbol der Aussagelogik. „Es gibt genau ein … für das gilt …“. Das Symbol für den eindeutigen Existenzquantor sieht wie folgt aus: \(\exists !\)
Schon den nächsten Urlaub geplant?
Auf maths2mind kostenlos auf Prüfungen vorbereiten!
Nach der Prüfung in Ruhe entspannen
Wissenspfad
Zur aktuellen Lerneinheit empfohlenes Vorwissen
Aussagen | Eine Aussage ist die Formulierung einer Behauptung, von der man mittels Beweis feststellen kann, ob sie wahr oder falsch ist. |
Aktuelle Lerneinheit
Quantoren | Quantoren legen fest, für welche Elemente der Grundmenge eine Aussage gilt |
Verbreitere dein Wissen zur aktuellen Lerneinheit
Boolsche Algebra | Junktoren sind logische Verknüpfungen zwischen Aussagen. |