Symboles mathématiq

Symbole Nom SignificationPrononciation 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 « implique » ou « si. . . alors » Logique... More

Symbole Nom SignificationPrononciation 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 « 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) « et » Logique Disjonction logique est vraie quand A ou B (ou les deux) sont vraies et fausse quand les deux sont fausses. « ou » Logique Négation logique est vraie quand A est fausse et fausse quand A est vraie « non » Logique Quantificateur universel signifie : « P(x) est vraie pour tout x ». « Quel que soit », « pour tout » Logique Quantificateur existentiel signifie : « il existe au moins un x tel que P(x) soit vraie » « il existe au moins un . . . tel que » Logique Relat Less