La statégies des pme
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 |