#1 Le 02/04/2008, à 17:29
- Hybrid Son Of Oxayotl
[Résolu]Lyx et les arbres de preuve
Bonjour,
Je dois faire des arbres de preuves en latex, mais je ne sais pas faire.
Est-ce que quelqu'un saurait comment fait des arbres avec Lyx ?
Dernière modification par Hybrid Son Of Oxayotl (Le 06/04/2008, à 21:21)
«Souvent on m'écrit, on me dit “Oui, vous, vous pouvez parler parce que vous êtes issue de l'immigration. Mais ça me rend très triste, parce que ça veut dire que les français ont été dépossédés de leur liberté, ils ne peuvent plus s'exprimer».
Malika Sorel
Hors ligne
#2 Le 02/04/2008, à 18:50
- s@mson
Re : [Résolu]Lyx et les arbres de preuve
Bonjour Hybrid Son Of Oxayotl,
La question a déjà été posé:
http://forum.ubuntu-fr.org/viewtopic.php?pid=652457
Il y a ça d'interessant notamment :
http://www.tug.org/applications/PSTricks/Trees/
Hors ligne
#3 Le 02/04/2008, à 19:42
- Hybrid Son Of Oxayotl
Re : [Résolu]Lyx et les arbres de preuve
Merci beaucoup, mais ça ne correspond pas exactement. Les arbres de preuves ressemblent plus à des fractions empilées les unes sur les autres ...
Je vais modifier le titre pour être plus explicite.
«Souvent on m'écrit, on me dit “Oui, vous, vous pouvez parler parce que vous êtes issue de l'immigration. Mais ça me rend très triste, parce que ça veut dire que les français ont été dépossédés de leur liberté, ils ne peuvent plus s'exprimer».
Malika Sorel
Hors ligne
#4 Le 06/04/2008, à 21:29
- Hybrid Son Of Oxayotl
Re : [Résolu]Lyx et les arbres de preuve
Okay, j'ai résolu le problème :
voila comment faire avec Lyx, c'est encore plus simple à faire en faisant du LaTeX directement, donc ça devrait convenir à tout le monde :
J'ai téléchargé le paquet bussproofs.sty ici : http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/nd.html
Pour pouvoir l'utiliser à l'intérieur d'un document Lyx, il faut aller dans Document/Paramètres , puis dans Préambule latex, et ajouter
\usepackage{/home/oxayotl/Bureau/bussproofs}Ensuite, dans votre document, là où vous voulez insérer l'arbre, cliquer sur l'icône Tex pour insérer directement du code latex, et tapez votre code en suivant la syntaxe de bussprof, comme décrite dans le User Guide.
«Souvent on m'écrit, on me dit “Oui, vous, vous pouvez parler parce que vous êtes issue de l'immigration. Mais ça me rend très triste, parce que ça veut dire que les français ont été dépossédés de leur liberté, ils ne peuvent plus s'exprimer».
Malika Sorel
Hors ligne