a∈M
(a ist ein Element der Menge M)
a∈
/M
(a ist kein Element der Menge M)
(die leere Menge)
N ⊂M
N $M
(N ist eine Teilmenge von M : jedes Element von N ist auch ein Element von M )
(N ist eine echte Teilmenge von M )
N ∩M
(Durchschnitt von N und M )
N ∪M
(Vereinigung von N und M )
N ×M
(Menge der geordneten Paare (n, m), wo n ∈ N und m ∈ M )
{a1 , · · · , an }
(Menge, die aus den Elementen a1 , · · · , an besteht)
{x ∈ M |P (x)}
(Menge der Elemente von M , welche die Eigenschaft P haben)
∀ x P (x)
(für alle x gilt P (x))
∃ x P (x)
(es existiert ein x, für das P (x) gilt)
∃ ! x P (x)
(es existiert genau ein x mit P (x))
¬ A (nicht A)
A ∧ B (A und B)
A ∨ B (A oder B)
A ⇒ B (aus A folgt B, A ist hinreichend für B, B ist notwendig für A)
A ⇔ B (A ist äquivalent zu B, B ist notwendig und hinreichend für B)
A
w
w
f
f
B
w
f
w
f
¬A
f
f
w
w
A∧B
w
f
f
f
A∨B
w
w
w
f
A⇒B
w
f
w
w
A⇔B
w
f
f
w
© Copyright 2024 ExpyDoc
