Cher Alain,
Merci pour ta réponse, et pour les informations.
Comme je n'ai pas MikTeX mais TeXStudio (en fait je suis sur Linux), le procédé était un peu différent. Mais par rapport à ce que tu as suggéré, j'ai compris comment procéder à l'aide des commandes à entrer dans le terminal indiqués dans un des fichiers téléchargés.
Merci en tout cas pour tes réponses rapides!
Merci aussi pour le site-tutoriel concernant les diagrammes, je vais regarder cela!
Si jamais ça intéresse d'autres personnes, je joins un document que je viens de trouver qui explique comment créer plusieurs types de preuves avec LaTeX, donc les arbres de Beth. Ces explications m'ont en tout permis d'en créer!
Belle journée!
Elisa