Utiliser proprement l'écriture mathématique en $\mathrm{\LaTeX}

En fait c'était surtout en réaction au fait suivant : a priori on peut écrire tout un tas de chose en langage mathématique sans faire le moindre raisonnement. Tout comme on peut écrire des pages en langue française sans faire attention au sens.

Dire qu'il faut introduire les objets que l'on utilise est donc plus fort que ça. Pourtant, j'ai aucun problème à écrire des formules mathématiques logiquement équivalentes entre elles sans faire attention au sens.

Ça passe à l'ENS, donc c'est universel. CQFD

Plus sérieusement, au moins c'est difficile à remettre en question comme raisonnement ;). Après c'est sur qu'il y'a des petites alternatives pour tourner la rédaction, mais ça revient généralement à ça (du moins je n'ai jamais vu autre chose ..)

J'ai peur de ne pas avoir été compris … Peut-être parce que vous n'avez pas eu l'occasion de faire un peu de calcul propositionnel (simple hypothèse) ?

Les formules sont des objets mathématiques, au même titre que des parties de $\mathbf{R}$. On peut faire des calculs, des théorèmes, des démonstrations et tout le tralala dessus.

Du coup. Dire que $\forall x$ présente un objet, je reste mitigé.

De plus, expliquer les notations, quand j'ai fait la remarque il y a plusieurs semaines, c'était au sujet des notations du type $\mathbf{R}$ pour l'ensemble des nombres réels, $]a,b[$ un intervalle ouvert de bornes $a,b$. C'était pas dans le sens où on dit qui est $x$.

J'ai lu le tuto assez rapidement, et je pense qu'il va me servir d'aide mémoire lorsque j'aurais des rapports avec beaucoup de maths à rédiger. La dernière fois que j'ai eu besoin d'utiliser les balises maths de manière intensive, c'était assez brouillon, et j'ose même plus regarder ce que j'ai écrit.

Reste une question que je me pose : en théorie de la démonstration, il arrive parfois qu'on ait envie de représenter des règles sous la forme $\frac{Prémisses}{Conclusion}$, et je n'ai jamais rien trouvé pour rédiger ça correctement. Jouer avec \frac, c'est sympa 2 secondes, mais pour produire ce genre de trucs :

ça devient vite ingérable. Une solution à proposer?

Moi je mettais pas des barres horizontales mais verticales et je faisais alors un graphe. C'était finalement plus … logique en un certain sens

Essaye le paquet bussproofs. J'ai testé et ça marche pas trop mal.

@Holosmos : Je vois pas bien ce que tu veux dire (faire un graphe ?). Après, il y a aussi une notation séquentielle plus pratique, mais c'est dommage, c'est joli avec les barres.

On doit certainement pouvoir assimiler ça un arbre en étiquetant les noeuds avec les séquents et les arêtes avec les noms des règles, puis trouver une combine avec Tikz. Mais ça semble overkill.

EDIT : @Saroupille : Je regarde ça merci.

EDIT2 : ça a l'air d'être exactement ce qu'il me faut

Bonjour à tous !

La beta du tutoriel a été mise à jour.

Merci pour vos relectures

Tu peux indiquer les changements afin qu'on puisse te donner un retour ?

Désolé, j'avais pas le temps de les mettre. Donc j'ai rajouté la sous-partie sur les fonctions avec DeclareMathOperator et j'ai modifié celle sur le texte en mode mathématique.

Petits détails :

• Il manque les espérluettes & pour le code d'exemple de cases.
• Merci encore d'avoir remis mon astuce pour les coordonnées de vecteur, elles sont plus visible ici que sur mon blog (qui est arrêté, manque de temps). Après réflexion, je pense que le \, n'est pas utile. Mais après, c'est selon notre préférence…
• Lors de tes explications sur les commandes pour le texte, je suis totalement d'accord avec toi. Il serait bien de proposer les autres : \mathit, \mathcal et \mathfrak pour les principales

On peut dire que t'es un rapide

C'est plutôt à moi de te remercier pour cette commande. J'en avais une avant, mais elle n'était pas aussi classe. C'est bon, j'ai corrigé le cases. Et j'ai prévu de parler rapidement des commandes \mathit et autres.

Bonjour à tous !

La beta du tutoriel a été mise à jour.

Merci pour vos relectures

EDIT : voilà, quelques modifications sur la partie respecter ses règles et quelques corrections de fautes. Là, je suis sur les petits détails.

Merci, je corrige tout de suite. C'est bien de l'inattention. Sûrement une confusion avec le markdown.

EDIT : j'en ai profité pour corriger un bloc attention dans la dernière partie.

Salut,

• dans Écrivons…, je remplacerai :

Pour les équations sur une ligne, utilisez \[\] et si vous voulez la numéroter utilisez l'environnement equation qui permet d'obtenir

Par (plus clair je trouve, sinon nous ne savons pas vraiment comment fonctionne l'environnement) :

Pour les équations sur une ligne, utilisez la paire de commande \[ et \] et si vous voulez la numéroter utilisez l'environnement equation qui permet d'obtenir

Je remplace de suite.

C'est vrai, je voulais pas appeler la seconde commande coord (pour que ceux qui ne veulent que le code puissent copier tranquillement) alors je l'ai appelé coord2, mais c'est effectivement une erreur. Je remplace par coordBis.

Sinon les nommer respectivement \coordparent et \coordrule me semble plus parlant, mais aussi un peu plus lourd.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10

\def\coord#1(#2,#3) % Les arguments sont délimités avec les parenthèses et la virgule
{
   \vecteur{#1} \,  % Nous affichons le vecteur, puis un espace
   \left\lvert      % Nous affichons la barre verticale en tant que délimiteur extensible
      \begin{matrix}
         #2 \\
         #3
      \end{matrix}
   \right.          % Nous plaçons un délimiteur invisible
}

Je souhaite bon courage pour la suite

Bonjour à tous !

La beta du tutoriel a été mise à jour.

Merci pour vos relectures

EDIT : ça y est, je pense pouvoir bientôt l'envoyer en validation. Il me faut juste compléter la partie sur les polices mathématiques.

Ce tutoriel me sera très utile, j'utilise de plus en plus le $\mathrm{\LaTeX}$, notamment pour les mathématiques (pour l'instant de façon sale avec des .png ou .svg au milieu de document LibreOffice…). J'attends plus qu'un tuto complet sur le $\mathrm{\LaTeX}$ (en attendant celui d'OC fera l'affaire…).

paspro est en train d'en rédiger un ici. Pour le moment, il n'est pas trop avancé.