Inscription / Connexion Nouveau Sujet
Niveau LaTeX
Partager :

symboles logique

Posté par Profil 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
verdurin
re : pour logique 01-08-19 à 18:33

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

Posté par Profil amethystere : 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 Profil amethystere : 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 Profil amethystere : 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  

Posté par
verdurin
re : pour logique 01-08-19 à 19:05

Une remarque : Vdash et lozenge sont dans amsmath

Répondre à ce sujet

Seuls les membres peuvent poster sur le forum !

Vous devez être connecté pour poster :

Connexion / Inscription Poster un nouveau sujet
Une question ?
Besoin d'aide ?
(Gratuit)
Un modérateur est susceptible de supprimer toute contribution qui ne serait pas en relation avec le thème de discussion abordé, la ligne éditoriale du site, ou qui serait contraire à la loi.


Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1440 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !