Niveau LaTeX

symboles logique

Posté par amethyste 01-08-19 à 18:18

Bonjour merci d'avance

si jamais j'ai une question à poser ici(il ne s'agit pas d'écrire en pdf les codes ne seront certainement pas les mêmes) mais pour écrire sur ce forum ici (je suis trop nul pour rédiger un truc mais c'est juste pour ici et poser ma question de façon lisible)

savez vous comment en latex on écrit le séquent $\Lambda$ |- (c'est un T qu'on a tourné vers la gauche de 90°) $\Delta$

et savez vous comment en latex on fait le symbole ||- (le T qu'on a tourné vers la gauche de 90° et ajouté d'une barre verticale sur sa gauche)

et enfin savez vous comment en latex on fait le carré et le losange en logique modale

Posté par re : pour logique 01-08-19 à 18:33

Bonsoir amethyste.
\vdash pour $\vdash$
\Vdash pour $\Vdash$
\square pour $\square$
\lozenge pour $\lozenge$

Posté par re : pour logique 01-08-19 à 18:39

bon j'ai trouvé finalement

en cherchant sur les doc pdf , j'ai trouvé un truc qui marche pour ici

$\vdash$

$\diamondsuit$

$\square$

Posté par re : pour logique 01-08-19 à 18:40

Merci Verdurin

je pensais pas l'avoir le Vdash

j'ai trouvé les autres en trichant sur le code pour pdf du document

Posté par re : pour logique 01-08-19 à 18:45

ton losange est plus simple à écrire Verdurin (encore grand merci)

\lozenge

$\lozenge$

dans le doc pdf moi j'avais code+\diamondsuite et si on enlève suit ça fait un losange minuscule