CTAN Comprehensive TeX Archive Network

logicproof – Box proofs for propositional and predicate logic

A common style of proof used in propositional and predicate logic is Fitch proofs, in which each line of the proof has a statement and a justification, and subproofs within a larger proof have boxes around them.

The package provides environments for typesetting such proofs and boxes. It creates proofs in a style similar to that used in “Logic in Computer Science” by Huth and Ryan.

Version 2014-03-20
LicensesThe Project Public License 1.3
MaintainerAlan Davidson
Contained inTeX Live as logicproof
MiKTeX as logicproof

Download the contents of this package in one zip archive (61.0k).

Community Comments



Here you can see a respective diagram in newer browsers.


Guest Book Sitemap Contact Contact Author