Symbool – basistermen

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