en stootbord, de voorkant van het aluminium profiel kan ook worden afgedekt met de juiste trapbekleding. logische tekens
Propositionele variabelen worden aangegeven met Latijnse hoofdletters A, B, C .. . toegewezen:
A ∧ B sowohl A als auch B
A ∨ B A oder B oder beide
¬A nicht A, negatie van A
A → B Implikationsverknüpfung; als A dan B
A↔ B Äquivalenzverknüpfung; als A dan B en vice versa
A ⇒ B Implikationsaussage; van A volgt B
A is voldoende voor B
B is nodig voor A
A ⇔ B Äquivalenzaussage; A volgt B en vice versa
A is noodzakelijk en voldoende voor B
en stootbord, de voorkant van het aluminium profiel kan ook worden afgedekt met de juiste trapbekleding :⇔ B A ist definitionsgemäß äquivalent B
L, ∀ für alle . . .; Allquantor
V, ∃ es existiert mindestens ein . . .; Existenzquantor
∃1 existiert genau ein . . .
B. Wiskundige tekens en notaties
1. maat relaties
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 verdeelt b
2. hark- en functiesymbolen