Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2012 / Logik und Diskrete Strukturen / Aktuelles / LDS: Blatt 03 Hinweise zur Notation


Inhaltsbereich

LDS: Blatt 03 Hinweise zur Notation

Punkt-Quantor-Notation

Nur um Missverständnisse zu vermeiden: Ein Punkt nach einem Quantor ist wie eine Klammer zu lesen, welche so spät wie möglich geschlossen wird. 

Beispiel: Die zu beweisende Formel in H3-1a würde ohne Punkte wie folgt geschrieben:

∃s ∈ G ( s ∈ H ⇒ ∀t ∈ G ( t ∈ H ) )

 

Artikelaktionen


Funktionsleiste