Wie lese ich einen Beweis?

Logik

• ∀ — “für alle” (z.B. ∀ Menschen: alle Menschen sind sterblich)
• ∃ — “es gibt mindestens einen” (z.B. ∃ eine gerade Primzahl: nämlich 2)
• ⟹ — “daraus folgt” / “wenn … dann”
• ⟺ — “genau dann wenn” (gilt in beide Richtungen)
• ¬ — “nicht” (Verneinung)

Mengen

• ∈ — “ist element von” (z.B. 3 ∈ {1,2,3} bedeutet: 3 ist in dieser Menge)
• ⊆ — “ist teilmenge von”
• ∪ — Vereinigung (“und”)
• ∩ — Schnittmenge (“was haben beide gemeinsam”)
• ℕ — natürliche Zahlen (1, 2, 3, …)
• ℤ — ganze Zahlen (…, -2, -1, 0, 1, 2, …)
• ℚ — rationale Zahlen (Brüche wie ½, ¾)
• ℝ — reelle Zahlen (auch irrationale wie √2 oder π)

Sonstiges

• ∎ oder q.e.d. — “Beweis fertig” (q.e.d. kommt vom Lateinischen quod erat demonstrandum — “was zu beweisen war”)