Résumé de section

    • Les étudiants doivent
      Marquer comme terminé

      LaTeX is the best (free) tool to write texts with logical symbols. You'll find a lot of information on this blog.

      The following packages are useful:

    • fitch.sty URL
      Les étudiants doivent
      Marquer comme terminé

      For writing proofs in Natural Deduction

    • qtree.sty URL
      Les étudiants doivent
      Marquer comme terminé

      For tableaux

    • Forest URL

      A more powerful tool for trees (tableaux, linguistic trees, etc.).