Notation (ou symbole) en maths : "conséquence"

[NaristyDo]

Bonjour,
Je voulais savoir si il existait une notation ou un symbole en maths pour exprimer une conséquence comme "ainsi" ou "donc".

Sur wikipédia, j'ai vu un symbole avec trois petits points formant en triangle
dans : "Ponctuation et diacritiques"
https://fr.wikipedia.org/wiki/Table_de_symboles_math%C3%A9matiques

Sauf que je ne le trouve nul part ailleurs, est-il utilisé couramment ?
Merci à vous

[capitaine nuggets]

Salut !

C'est la première fois que je vois ça. Si ça existe, ça ne figure pas dans les bouquins en tout cas. Personnellement, quel intérêt d'en faire un symbole ? "Donc" ou "ainsi" ne sont pas si long à écrire. Après il ne faut pas confondre symbole et abréviation comme on peut si couramment le faire avec "pour tout" et "il existe".

[NaristyDo]

D'accord ! Merci beaucoup de votre réponse !

[beagle]

peut-être so
A so B
B donque C
C un si D
E because D

A implique E
aveque A vrai

je c'est pas si sait mieux en français?

[NaristyDo]

Merci beagle ! ^^

[Carpate]

je c'est pas si sait mieux en français?

je c'est (verbe être) pas si sait(verbe savoir) mieux en français?
Et si on inversait être et savoir ?

[pascal16]

il y a bien mezalor
implique : =>
est équivalent à : <=>

Un jour j'ai découvert la fléché vers le haut pour les exposants (et j'ai compris alors l'utilisation du ^). La notation 6^^2 existe en fait.

[Skullkid]

Bonjour, le symbole en question est très peu utilisé en France, et même dans l'usage anglo-saxon il reste assez rare. En général on le rencontre en logique formelle, par exemple le modus ponens ("si A est vraie et A implique B, alors B est vraie") peut s'écrire formellement , même si dans les textes en français que j'ai pu lire, on préfère utiliser le symbole pour la déduction. Il est aussi parfois utilisé dans des démonstrations pour mettre l'accent sur la déduction la plus importante, un peu comme CQFD ou le signe de fin d'article sont parfois utilisés pour mettre la conclusion en avant.

Bref, c'est pas étonnant que tu ne l'aies jamais vu avant. Dans un cadre un peu informel genre prise de notes, l'usage majoritaire est d'utiliser (abusivement) le symbole de l'implication pour signifier "donc".

[Monsieur23]

Bonjour, le symbole en question est très peu utilisé en France, et même dans l'usage anglo-saxon il reste assez rare. En général on le rencontre en logique formelle, par exemple le modus ponens ("si A est vraie et A implique B, alors B est vraie") peut s'écrire formellement , même si dans les textes en français que j'ai pu lire, on préfère utiliser le symbole pour la déduction. Il est aussi parfois utilisé dans des démonstrations pour mettre l'accent sur la déduction la plus importante, un peu comme CQFD ou le signe de fin d'article sont parfois utilisés pour mettre la conclusion en avant.

Bref, c'est pas étonnant que tu ne l'aies jamais vu avant. Dans un cadre un peu informel genre prise de notes, l'usage majoritaire est d'utiliser (abusivement) le symbole de l'implication pour signifier "donc".

Si tu veux passer pour mec culturé, tu peux aussi utiliser "ergo" (c'est la classe de parler latin).

[Skullkid]

Quidquid latine dictum sit, altum videtur !

Le fin du fin restant quand même d'écrire un symbole cabalistique et de le prononcer en latin.