UN. segni logici
Le variabili proposizionali sono indicate dalle lettere latine maiuscole A, B, C .. . designato:
A ∧ B sowohl A als auch B
A ∨ B A oder B oder beide
¬A nicht A, negazione di A
A → B Implikationsverknüpfung; se A allora B
A↔ B Äquivalenzverknüpfung; se A allora B e viceversa
A ⇒ B Implikationsaussage; da A segue B
A è sufficiente per B
B è necessario per A
A ⇔ B Äquivalenzaussage; A segue B e viceversa
A è necessario e sufficiente per B
UN :⇔ B A ist definitionsgemäß äquivalent B
l, ∀ für alle . . .; Allquantor
v, ∃ es existiert mindestens ein . . .; Esistere
∃1 existiert genau ein . . .
B. Segni e notazioni matematiche
1. relazioni dimensionali
a = b a ist gleich b
un: = b a ist definitionsgemäß gleich 6
a ≠ b a ist nicht gleich b
a ≈ b a ist ungefähr gleich b
un <b a ist kleiner als b
un > 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 divide b
2. rastrello- e simboli di funzione
