UNE. signes logiques
Les variables propositionnelles sont désignées par des lettres latines majuscules A, B, C .. . désigné:
A ∧ B à la fois A et B
A ∨ B A ou B ou les deux
¬A pas A, négation de A
Lien d'implication A → B; si A alors B
Lien d’équivalence A↔ B; 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
Déclaration d'équivalence A ⇔ B; A suit B et vice versa
A est nécessaire et suffisant pour B
UNE :⇔ B A est, par définition, équivalent à B
L, ∀ pour tout le monde . . .; Allquantor
V, ∃ il y en a au moins un . . .; Existenzquantor
∃1 existe exactement un . . .
B. Signes et notations mathématiques
1. relations de taille
a = b a est égal à b
une: = b a est égal par définition 6
a ≠ b a n'est pas égal à b
a ≈ b a est approximativement égal à b
une <b a est plus petit que b
une > b a est supérieur à b
a ≤ b a est inférieur ou égal à b
a ≥ b a est supérieur ou égal à b
a « b a est très petit comparé à b
aIb a divise b
2. râteau- et symboles de fonction
