CTAN Comprehensive TeX Archive Network

Direc­tory graphics/pgf/contrib/prooftrees

%% Copyright 2017 Clea F. Rees
% This work may be distributed and/or modified under the
% conditions of the LaTeX Project Public License, either version 1.3
% of this license or (at your option) any later version.
% The latest version of this license is in
%   http://www.latex-project.org/lppl.txt
% and version 1.3 or later is part of all distributions of LaTeX
% version 2005/12/01 or later.
% This work has the LPPL maintenance status `maintained'.
% The Current Maintainer of this work is Clea F. Rees.
% This work consists of all files listed in manifest.txt.

This package supports drawing proof trees of the kind often used in
introductory logic classes, especially those aimed at students without strong
mathemtical backgrounds. Hodges (1991) is one example of a text which uses
this system. When teaching such a system it is especially useful to annotate
the tree with line numbers, justifications and explanations of branch

prooftrees provides a single environment, prooftree, and a variety of tools
for annotating, customising and highlighting such trees. A cross-referencing
system is provided for trees which cite line numbers in justifications for
proof lines or branch closures.

prooftrees is based on Forest and, hence, TikZ. The package requires version
2.0.3 of Forest for expected results and will not work with version 1.

The author is certain  that some of her beliefs are false, but sure that her
belief that prooftrees has bugs is not among them.  

Clea F. Rees
ReesC21 <at> cardiff <dot> ac <dot> uk

vim: set nospell: 

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

prooftrees – For­est-based proof trees (sym­bolic 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­censesThe Project Public Li­cense 1.3
Main­tainerClea F. Rees
Con­tained inTeX Live as prooftrees
MiKTeX as prooftrees
See alsoforest
Guest Book Sitemap Contact Contact Author