Logique
Symbole Symbole (TeX) (Unicode)
ou ou Nom Prononciation Branche Implication implique ou si... alors Logique, voir Connecteur_logique quivalence logique si et seulement si ou quivaut Logique, voir Connecteur_logique Conjonction logique et Logique, voir Connecteur_logique Disjonction logique ou Logique, voir Connecteur_logique Ngation logique non Logique, voir Connecteur_logique Quantificateur universel Quel que soit , pour tout x . tout Logique signifie : P(x) est vraie pour est vraie quand A est fausse et fausse quand A est vraie est vraie quand A ou B (ou les deux) sont vraies et fausse quand les deux sont fausses. , si n est un entier naturel est vraie si et seulement si A et B sont vraies (donc fausse si A ou B ou A et entier naturel B sont fausses) , si n est un signifie : A est vraie quand B est vraie et A est fausse quand B est fausse . signifie si A est vraie, alors B est vraie aussi ; si A est fausse alors on ne peut rien dire de la vrit de B . Parfois, on utilise au lieu de est vraie, mais est fausse (puisque x=2 est aussi une solution).
Signification
Exemples
(5 rpond en effet la
Toujours vrai
Autres branches
Symbole Symbole (TeX) (Unicode)
! Nom Prononciation Branche Factorielle Factorielle (de) n. Combinatoire ~ Relation d'quivalence ... est quivalent ... Thorie des ensembles quivalence ... est quivalent ... Analyse Distribution de probabilit ... a la distribution de probabilit ... Statistiques Ngation logique non Logique = galit est gal toute branche signifie : x et y dsignent le mme objet mathmatique 1+2=63 quand est vraie quand est vraie est fausse et fausse X ~ D, signifie : la variable alatoire X a la distribution de probabilit D X ~ N(0,1), la distribution ou loi normale an ~ bn signifie que les suites an et bn sont quivalentes sin(1/n) ~ 1/n (lorsque n tend vers l'infini) n! est le produit : 1 2 ... n. 6! = 1 2 3 4 5 6 = 720
Signification
Exemples
3
23
si y=2x, alors
:= :
signifie : x est dfini comme tant un autre nom de y signifie : P est dfinie comme tant logiquement quivalente Q
{,}
{/} {;} {}
Construction d'ensemble en comprhension L'ensemble de tous les ... qui vrifient ... Thorie des ensembles
dsigne l'ensemble de tous les x qui vrifient P(x). est le mme ensemble que ou encore que
{}
et
Appartenance (ou non) un ensemble appartient , est lment de , est dans . n'appartient pas , n'est pas lment de , n'est pas dans Thorie des ensembles
4
signifie : tout lment de A est aussi un lment de B a gnralement la mme signification que symbole . Signalons toutefois que pour reprsente l'inclusion stricte . certains, les canadiens franais notamment, le
Sous-ensemble est un sous-ensemble (une partie) de ... , est inclus dans... Thorie des ensembles
Sous-ensemble strict, partie stricte est un sous-ensemble strict de ... , est strictement inclus dans... Thorie des ensembles
et quand
(ou reprsente
est une autre faon d'crire est une autre faon d'crire
Sur-ensemble strict est un sur-ensemble strict de ... , contient strictement... Thorie des ensembles
Runion Runion de ... et de ... , ... union ... Thorie des ensembles
Intersection Intersection de ... et de ... , ... inter ... Thorie des ensembles
dsigne l'ensemble des lments qui appartiennent la fois A et B, c'est--dire les lments qu'ont les ensembles A et B en commun
Diffrence diffrence de ... et ... , ... moins ... , ... priv de ... Thorie des ensembles
() [] {}
Fonction application ; f(x) dsigne l'image de l'lment x par la fonction f Si f est dfinie par , alors f(3)= regroupement Regroupement: les oprations places l'intrieur 32= 9 sont effectues en premier de (8/4)/2= 2/2= 1, mais 8/(4/2)= 8/2= 4 toute branche
Fonction
Considrons la fonction
dfinie
dans Y, ou a pour ensemble de dfinition X et pour par de ... vers , de ... ensemble d'arrive Y, ou a pour origine X et pour dans , de ... sur ... but Y. toute branche Fonction est envoy sur , a image pour image toute branche Ensemble des entiers naturels N Nombre * N priv de zro Ensemble des entiers relatifs Z Nombre Ensemble des nombres dcimaux D Nombre Ensemble des nombres rationnels Q Nombre + Ensemble des nombres rels R Nombre Ensemble des nombres complexes C Nombre reprsente reprsente l'ensemble des limites des suites de Cauchy de reprsente reprsente reprsente reprsente signifie que la variable x a pour Au lieu d'crire que f est dfinie par f(x)= x2, nous pouvons crire " Soit la fonction "
6
signifie que x est strictement infrieur y (ou x est infrieur y). signifie que x est strictement suprieur y (ou x est suprieur y).
< >
ou ou
signifie que x est infrieur ou gal y. signifie que x est suprieur ou gal y.
4 + 6 = 10 signifie que si quatre est ajout six, alors la somme ou le rsultat est gal dix.
43 + 65 = 108 2+7=9
Soustraction
moins
Arithmtique
9 - 4 = 5 signifie que si quatre est t (retranch) de neuf, alors le rsultat est gal 5. Le signe moins peut aussi tre plac immdiatement gauche d'un nombre pour le rendre ngatif. Par exemple, 5 + (-3) = 2 signifie que si cinq et le nombre ngatif moins trois, sont ajouts, alors le rsultat est gal deux. 3 2 = 6 signifie que si trois est multipli par deux, alors le produit est gal six.
87 - 36 = 51
23 11 = 253
100 4 = 25
reprsente la fraction neuf quarts. / peut tre aussi utilis pour reprsenter la division.
et
ou
10-3 prs signifie qu'une valeur approche de e 10-3 prs est 2,718.
10-7 prs.
et sont des lments de la droite relle acheve. apparat dans les calculs de limites. est un point adjoint au plan complexe pour le rendre isomorphe une sphre (sphre de Riemann)
7
est le rapport de la circonfrence d'un cercle son diamtre. est l'aire d'un disque de rayon r
Pi Gomtrie euclidienne
ou
nombre d'or
e ||
e est la base des logarithmes naturels. dsigne la valeur absolue de x (ou le module de x). dsigne le cardinal de l'ensemble A et
exp(1) = e 2,718
reprsente, lorsque A est fini, le nombre Valeur absolue de... d'lments de A. , module de ... ; cardinal de ... Nombre ou Thorie des ensembles Somme Somme de ... pour ... de ... ... Arithmtique Produit Produit de .. pour .. de .. .. Arithmtique ,,,, Intgrale ou Intgrale (de .. ..) de .. d-.. Analyse Partie entire se lit Intgrale de a b de f de x dx , et reprsente l'aire algbrique du domaine dlimit par la courbe reprsentative de f, l'axe des constante) abscisses et les droites d'quation x= a et x= b se lit intgrale de f de x dx, et reprsente une primitive de f se lit Partie entire de x, et reprsente la (C dsignant une se lit produit de ak pour k de 1 n , et reprsente : a1a2...an se lit somme de ak pour k de 1 n , et reprsente a1+ a2+ ...+ an
Partie entire de .. partie entire infrieure de x Nombre Partie entire par excs Partie entire par excs de .. Nombre se lit Partie entire par excs de x , et reprsente l'entier suprieur x
Liens externes
[PDF] Extrait du standard Unicode, version 5.0 [1] : Contient les dfinitions des diffrents oprateurs.
Ponctuation Accolades({} ) Parenthses(() ) Chevrons(<> ) Crochets([] ) Guillemets(, ou ) Apostrophe(' ou ) Virgule(, ) Barreoblique(/ ), inverse(\ ) Espace( ) Point mdian( ) Espace inscable( ) Point(. ) Pointsdesuspension( ) Point-virgule(; ) Deux-points(: ) Pointdexclamation(! ), dinterrogation(? ) Traitdunion(- ) Tiret( ) Ponctuation non standard Point exclarrogatif( ) Point dironie( ) Diacritique
9
Accent aigu( ), double( ) Accent grave(` ), double( ) Accent circonflexe(^ ) Hatchek( ) Barre inscrite(- ) Brve( ) Cdille( ) Macron( ) Ogonek( ) Corne( ) Crochet en chef( ) Point souscrit( ), suscrit( ) Rond en chef( ) Tilde(~ ) Trma( ) Umlaut( ) Symboles typographiques Arobase(@ ) Esperluette(& ) Astrisque(* ) Astrisme( ) Barreverticale(| ou ) Cur floral( ) Croisillon(# ) Numro( ) Copyright( ) Marque( ) Degr( ) Celsius( ) Prime : minute,secondeettierce( ) Oble( et ) Paragraphe( ) Par consquent( ) Parce que( ) Pied-de-mouche( ) Puce( ) Tiret bas(_ ) Symboles mathmatiques Plusetmoins(+ ) Plusoumoins( ) Multipli( ) Divis( ) gal(= ) Pour cent(% ) Pour mille() Carr( ) Cube( ) Micro( ) Autres symboles Symboles typographiques japonais Symboles montaires
Rfrences
[1] http:/ / unicode. org/ fr/ charts/ PDF/ U2200. pdf
10
Licence
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/