EN. logiske tegn
Propositionelle variabler er angivet med store latinske bogstaver A, B, C .. . udpeget:
A ∧ B sowohl A als auch B
A ∨ B A oder B oder beide
¬A nicht A, negation af A
A → B Implikationsverknüpfung; hvis A så B
A↔ B Äquivalenzverknüpfung; hvis A så B og omvendt
A ⇒ B Implikationsaussage; fra A følger B
A er tilstrækkeligt til B
B er nødvendig for A
A ⇔ B Äquivalenzaussage; A følger B og omvendt
A er nødvendigt og tilstrækkeligt for B
EN :⇔ B A ist definitionsgemäß äquivalent B
L, ∀ für alle . . .; Allquantor
V, ∃ es existiert mindestens ein . . .; Eksistenzquantor
∃1 existiert genau ein . . .
B. Matematiske tegn og notationer
1. størrelsesforhold
a = b a ist gleich b
-en: = b a ist definitionsgemäß gleich 6
a ≠ b a ist nicht gleich b
a ≈ b a ist ungefähr gleich b
-en <b a ist kleiner als b
-en > 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 deler b
2. rive- og funktionssymboler
