UNE. signes logiques
Les variables propositionnelles sont désignées par des lettres latines majuscules A, B, C .. . désigné:
A ∧ B sowohl A als auch B
A ∨ B A oder B oder beide
¬A nicht A, négation de A
A → B Implikationsverknüpfung; si A alors B
A↔ B Äquivalenzverknüpfung; si A alors B et vice versa
A ⇒ B Implikationsaussage; de A suit B
A est suffisant pour B
B est nécessaire pour A
A ⇔ B Äquivalenzaussage; A suit B et vice versa
A est nécessaire et suffisant pour B
UNE :⇔ B A ist definitionsgemäß äquivalent B
L, ∀ für alle . . .; Allquantor
V, ∃ es existiert mindestens ein . . .; Existenzquantor
∃1 existiert genau ein . . .
B. Signes et notations mathématiques
1. relations de taille
a = b a ist gleich b
une: = b a ist definitionsgemäß gleich 6
a ≠ b a ist nicht gleich b
a ≈ b a ist ungefähr gleich b
une <b a ist kleiner als b
une > 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 divise b
2. râteau- et symboles de fonction
