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

asked 20 Jui '16, 11:43

jmb's gravatar image

jmb
1774
accept rate: 0%

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
showing 5 of 6 show 1 more comments
Be the first one to answer this question!
toggle preview

Follow this question

By Email:

Once you sign in you will be able to subscribe for any updates here

By RSS:

Answers

Answers and Comments

Markdown Basics

  • *italic* or _italic_
  • **bold** or __bold__
  • link:[text](http://url.com/ "title")
  • image?![alt text](/path/img.jpg "title")
  • numbered list: 1. Foo 2. Bar
  • to add a line break simply add two spaces to where you would like the new line to be.
  • basic HTML tags are also supported

Question tags:

×1
×1
×1

question asked: 20 Jui '16, 11:43

question was seen: 439 times

last updated: 02 Jul '16, 03:05

Related questions