En mathématiques, certains symboles sont fréquemment utilisés. Le tableau suivant représente une aide pour ceux qui ne sont pas habitués à ces symboles. Dans la table, sont précisés pour chaque symbole, le nom, la prononciation et la branche des mathématiques dans laquelle le symbole est principalement utilisé. En plus, la quatrième colonne contient une définition informelle et la dernière donne un court exemple apportant une explication sur l'utilisation du symbole.
Du fait de leur utilisation répandue, il existe un grand nombre de façons différentes de représenter certains symboles. Ce tableau ne saurait prétendre à l'exhaustivité. Sommaire[masquer] * 1 Logique * 2 Autres branches * 3 Autres symboles mathématiques * 4 Liens externes |
Logique[modifier]
Symbole
(TeX) | Symbole
(utf8) | Nom | Signification | Exemples | | | Prononciation | | | | | Branche | | | | ⇒ | Implication | signifie « si A est vraie, alors B est vraie aussi ; si A est fausse alors on ne peut rien dire de la vérité de B ».
Parfois, on utilise au lieu de | est vraie, mais est fausse (puisque x=−2 est aussi une solution). | | | « implique » ou « si... alors » | | | | | Logique | | | | ⇔ | Équivalence logique | signifie : « A est vraie quand B est vraie et A est fausse quand B est fausse ». | | | | « si et seulement si » ou « équivaut à » | | | | | Logique | | | | ∧ | Conjonction logique | est vraie si et seulement si A et B sont vraies (donc fausse si A ou B ou A et B sont fausses) | , si n est un entier naturel | | | « et » | | | | | Logique | | | | ∨ | Disjonction logique | est vraie quand A ou B (ou les deux) sont vraies et fausse quand les deux sont fausses. | , si n est un entier naturel | | | « ou » | | | | | Logique | | | | ¬ | Négation logique | est vraie quand A est fausse et fausse quand A est vraie | | | | « non » | | | | | Logique | | | | ∀ | Quantificateur universel |