A. znaki logiczne
Zmienne zdaniowe są oznaczone wielkimi literami łacińskimi A, b, C .. . wyznaczony:
A ∧ B sowohl A als auch B
A ∨ B A oder B oder beide
¬A nicht A, negacja A
A → B Implikationsverknüpfung; jeśli A to B
A↔ B Äquivalenzverknüpfung; jeśli A to B i na odwrót
A ⇒ B Implikationsaussage; z A następuje po B
A jest wystarczające dla B
B jest konieczne dla A
A ⇔ B Äquivalenzaussage; A następuje za B i na odwrót
A jest konieczne i wystarczające dla B
A :⇔ B A ist definitionsgemäß äquivalent B
L, ∀ für alle . . .; Wszystkiekwantor
V, ∃ es existiert mindestens ein . . .; Ilość istniejącego
∃1 existiert genau ein . . .
b. Znaki i zapisy matematyczne
1. relacje wielkości
a = b a ist gleich b
a: = b a ist definitionsgemäß gleich 6
a ≠ b a ist nicht gleich b
a ≈ b a ist ungefähr gleich b
a <b a ist kleiner als b
a > b a ist größer als b
a ≤ b a ist kleiner oder gleich b
a ≥ b a ist größer oder gleich b
a « b a ist sehr klein gegen b
aIb a dzieli b
2. grabie- i symbole funkcyjne
