|
Je cherche des modèles d'arbres de déduction logique. Peut-être pouvez-vous m'en indiquer ?
Affichage de 5 parmi 6
Afficher 1 commentaire(s) en plus
|
|
Comme indiqué dans les commentaires ci-dessus, les packages suivants répondent à la demande :
Enfin, la bibliothèque
Lien permanent
Cette réponse est marquée comme « Wiki ».
|
Il y a le package proof et le package tikz-qtree.
Ainsi que prooftrees.
Je pense aux arbres avec des lignes horizontales séparatrices. L'environnement tabular est un recours mais il n'adapte pas les indications d'opérations effectuées en indice.
Merci d'ajouter une image (ou un lien) à la question initiale pour que l'on comprenne mieux ce qui est attendu.
Je viens de me mettre sur ce sujet et je trouve que Tikz avec la bibliothèque trees offre des possibilités intéressantes.
On a ici des exemples,
et le manuel "pgfmanuel.pdf" propose des exemples progressifs permettant l'auto-apprentissage (à partir de la page 406 pour la version 3.0.0).
Peut-être le paquet générique
proofsde Paul Taylor fait-il ce que vous demandez.