Quantoren
Quantoren sind neben den Junktoren Symbole der Aussagenlogik. Quantoren legen fest, für welche Objekte eine Aussage gilt. Man unterscheidet in den Allquantor, den Existenzquantor und den eindeutigen Existenzquantor.
Hier findest du folgende Inhalte
Formeln
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