Arbre de déduction logique

1

Je cherche des modèles d'arbres de déduction logique. Peut-être pouvez-vous m'en indiquer ?

Posée 20 Jui '16, 11:43

jmb's gravatar image

jmb
307●13●26●31
Taux d'acceptation : 0%

Modifiée 28 Aoû '17, 02:01

Pathe's gravatar image

Pathe ♦♦
7.5k●43●204●251

1

Il y a le package proof et le package tikz-qtree.

(20 Jui '16, 13:10) touhami touhami's gravatar image
2

Ainsi que prooftrees.

(21 Jui '16, 13:59) Bernard Bernard's gravatar image

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.

(01 Jul '16, 09:10) jmb jmb's gravatar image
2

Merci d'ajouter une image (ou un lien) à la question initiale pour que l'on comprenne mieux ce qui est attendu.

(01 Jul '16, 09:36) jerome dequeker jerome%20dequeker's gravatar image
1

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).

(01 Jul '16, 21:35) onyme onyme's gravatar image

Peut-être le paquet générique proofs de Paul Taylor fait-il ce que vous demandez.

(02 Jul '16, 03:05) Bernard Bernard's gravatar image
Affichage de 5 parmi 6 Afficher 1 commentaire(s) en plus
Une réponse :
En coursAnciennesRécentesPopulaires
0

Comme indiqué dans les commentaires ci-dessus, les packages suivants répondent à la demande :

Enfin, la bibliothèque trees de TikZ permet de construire de tels arbres. Comme indiqué plus haut, on trouvera sur texample.net des exemples, et on lira avec profit la partie IV, 29 du manuel de TikZ/PGF.

Lien permanent
Cette réponse est marquée comme « Wiki ».

Publiée 05 Aoû '17, 21:10

Pathe's gravatar image

Pathe ♦♦
7.5k●43●204●251
Taux d'acceptation : 55%

Modifiée 05 Aoû '17, 21:17

Votre réponse
(dés)activer l'aperçu

Suivre cette question

Par courriel :

Une fois que vous serez enregistré, vous pourrez souscrire à n'importe quelle mise à jour ici

Par flux RSS :

Réponses

Réponses et commentaires

Bases de Markdown

  • *italique* ou _italique_
  • **gras** ou __gras__
  • Lien ::[texte](http://url.com/ "Titre ")
  • Image : ?![alt texte](/path/img.jpg "Titre ")
  • Liste numérotée : 1. Foo 2. Bar
  • Pour ajouter un passage à la ligne, ajoutez deux espaces à l'endroit où vous souhaitez que la ligne commence.
  • Les balises HTML de base sont également prises en charge.

En savoir plus sur Markdown