Comprehensive TeX Archive Network

prooftrees – Forest-based proof trees (symbolic logic)

The pack­age sup­ports draw­ing proof trees of the kind of­ten used in in­tro­duc­tory logic classes, es­pe­cially those aimed at stu­dents with­out strong math­emti­cal back­grounds. Hodges (1991) is one ex­am­ple of a text which uses this sys­tem. When teach­ing such a sys­tem it is es­pe­cially use­ful to an­no­tate the tree with line num­bers, jus­ti­fi­ca­tions and ex­pla­na­tions of branch clo­sures.

prooftrees pro­vides a sin­gle en­vi­ron­ment, prooftree, and a va­ri­ety of tools for an­no­tat­ing, cus­tomis­ing and high­light­ing such trees. A cross-ref­er­enc­ing sys­tem is pro­vided for trees which cite line num­bers in jus­ti­fi­ca­tions for proof lines or branch clo­sures.

prooftrees is based on for­est and, hence, TikZ. The pack­age re­quires ver­sion 2.0.2 of For­est for ex­pected re­sults and will not work with ver­sion 1.

Li­censeThe LaTeX Project Public Li­cense 1.3
Main­tainerClea F. Rees
Con­tained inTeX Live as prooftrees
MiKTeX as prooftrees
Topics type­set­ting lo­gi­cian’s dis­cus­sions
pack­age uses PGF-TikZ
mech­a­nisms for draw­ing trees
See also forest

Down­load the con­tents of this pack­age in one zip archive (855.3k).


Here you can see a re­spec­tive di­a­gram in newer browsers.


Guest Book Sitemap Contact Contact Author