Bonsoir !
Quelques questions sur les symboles en maths :
Existe-t-il des symboles, mêmes peu répandus, qui signifient "donc", "car", "est défini par", ou du moins dont le sens s'en rapproche ?
Et peut-on écrire une démonstration assez développée uniquement à l'aide de symboles ?
Merci d'avance
Bonsoir,
Oui --> Cf. cours de logiques mathématiquesEnvoyé par Thogou
Cordialement
Super alors, merci beaucoup !
Et pour mes premières questions je viens de voir un symbole dont je n'avais jamais entendu parlé avant qui sont trois points, éloignés comme aux extrémités d'un triangle et utilisés en mathématiques d'après Wikipedia.
Pensez-vous qu'on puisse l'utiliser ?
Bonjour.
Attention, aucun symbole mathématique n'est un moyen d'écrire plus vite, une sténographie. Le mot "donc" en français a plusieurs utilités, dont l'une est l'implication logique qu'on note =>, l'autre l'indication d'une déduction, qu'on note parfoisparfois autrement, mais aussi la conviction (même non logique), voire simplement une étape dans une énumération de raisons.
Quelques auteurs (Russel, Bourbaki, ..) ont rédigé des textes uniquement en symboles. Malheureusement c'est surtout illisible et comme l'utilité d'une preuve est d'être lue par d'autres pour validation, on évite de produire des preuves qui gênent la lecture.
Tu peux aussi aller voir du côté des langages vérificateurs de preuve, genre Coq.
Cordialement.
