A. logiska tecken
Propositionsvariabler betecknas med stora latinska bokstäver A, B, C .. . utsedda:
A ∧ B både A och B
A ∨ B A eller B eller båda
¬A inte A, negation av A
A → B implikationslänk; om A så B
A↔ B ekvivalenslänk; om A då B och vice versa
A ⇒ B Implikationsaussage; från A följer B
A räcker för B
B är nödvändigt för A
A ⇔ B ekvivalensförklaring; A följer B och vice versa
A är nödvändigt och tillräckligt för B
A :⇔ B A är per definition ekvivalent med B
L, ∀ för alla . . .; Allquantor
V, ∃ det finns minst en . . .; Existenzquantor
∃1 finns exakt en . . .
B. Matematiska tecken och notationer
1. storleksförhållanden
a = b a är lika med b
a: = b a är lika per definition 6
a ≠ b a är inte lika med b
a ≈ b a är ungefär lika med b
a <b a är mindre än b
a > b a är större än b
a ≤ b a är mindre än eller lika med b
a ≥ b a är större än eller lika med b
a « b a är mycket liten jämfört med b
aIb a delar b
2. räfsa- och funktionssymboler
