Maison schroder

Disponible uniquement sur Etudier
  • Pages : 7 (1515 mots )
  • Téléchargement(s) : 0
  • Publié le : 7 juin 2012
Lire le document complet
Aperçu du document
Symbole
(TeX) | Symbole
(Unicode) | Nom | Signification | Exemples |
| | Prononciation | | |
| | Branche | | |
 ou  | ⇒ ou ⊃ | Implication |  signifie « si A est vraie, alors Best 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, voirConnecteur_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, voirConnecteur_logique | | |
| ∧ | Conjonction logique |  est vraie si et seulement si A et Bsont vraies (donc fausse si A ou B ouA et B sont fausses) | , si n est un entier naturel |
| | « et » | | |
| | Logique, voirConnecteur_logique | | |
| ∨ | Disjonction logique |  est vraie quand A ou B (ou les deux) sont vraies et fausse quand les deux sont fausses. | , sin est un entier naturel |
| | « ou » | | |
| | Logique, voirConnecteur_logique | | |
| ¬ | Négation logique |  est vraie quand A estfausse et fausse quand A est vraie |
|
| | « non » | | |
| | Logique, voirConnecteur_logique | | |
| ∀ | Quantificateur universel |  signifie : « P(x) est vraie pour tout x ». | |
| | « Quel que soit », « pour tout » | | |
| | Logique | | |
| ∃ | Quantificateur existentiel |  signifie : « il existe au moins unx tel que P(x) soit vraie » |  (5 répond en effet à laquestion) |
| | « il existe au moins un ... tel que » | | |
| | Logique | | |
| ☐ | Nécessité | Toujours vrai |
|
| | « necessaire » | | |
| | Logique modale | | |
| ◊ | Possibilité | |
|
| | « possible » | | |
| | Logique modale | | |
-------------------------------------------------
Autres branches[modifier]
Symbole
(TeX) | Symbole
(Unicode)| Nom | Signification | Exemples |
| | Prononciation | | |
| | Branche | | |
|  ! | Factorielle | n! est le produit : 1 × 2 × ... × n. | 6! = 1 × 2 × 3 × 4 × 5 × 6 = 720 |
| | Factorielle (de) n. | | |
| | Combinatoire | | |
| ~ | Relation d'équivalence | | |
| | « ... est équivalent à ... » | | |
| | Théorie des ensembles | | |
| | Équivalence |an ~ bn signifie que les suites an et bnsont équivalentes | sin(1/n) ~ 1/n (lorsque n tend vers l'infini) |
| | « ... est équivalent à ... » | | |
| | Analyse | | |
| | Distribution de probabilité | X ~ D, signifie : « la variable aléatoire X a la distribution de probabilité D » | X ~ N(0,1), la distribution ou loi normale |
| | « ... a la distribution de probabilité ... » | | || | Statistiques | | |
| | Négation logique | est vraie quand A est fausse et fausse quand A est vraie | |
| | «non» | | |
| | Logique | | |
| = | Égalité | x = y signifie : « x et y désignent le même objet mathématique » | 1 + 2 = 6 − 3 |
| | « est égal à » | | |
| | toute branche | | |
| ≠ | Non-égalité |  signifie : « x et y ne désignent pas le mêmeobjet mathématique » | 2 ≠ 3 |
| | « n'est pas égal à »,
« est différent de » | | |
| | toute branche | | |
| ≡ | Congruence | | |
| | « identique à »,
« congru à » | | |
| | Arithmétique modulaire | | |
| ∝ | Proportionnalité |  signifie : « x est proportionnel ày » | si y=2x, alors  |
| | « est proportionnel à » | | |
| | toute branche | | |
: =
| :=
:⇔ | Définition | x: = y signifie : « x est défini comme étant un autre nom de y »
 signifie : « P est définie comme étant logiquement équivalente àQ » |  (cosinus hyperbolique)
(OU exclusif) |
| | « est défini comme » | | |
| | le second est très peu utilisé | | |
{,} | { , } | Ensemble en extension | {a,b,c} désigne l'ensemble dont les éléments sont a, b et c |...
tracking img