CTAN Comprehensive TeX Archive Network

logicproof – Box proofs for propositional and predicate logic

A com­mon style of proof used in propo­si­tional and pred­i­cate logic is Fitch proofs, in which each line of the proof has a state­ment and a jus­ti­fi­ca­tion, and sub­proofs within a larger proof have boxes around them.

The pack­age pro­vides en­vi­ron­ments for type­set­ting such proofs and boxes. It cre­ates proofs in a style sim­i­lar to that used in “Logic in Com­puter Science” by Huth and Ryan.

Ver­sion 2014-03-20
Li­censesThe Project Public Li­cense 1.3
Main­tainerAlan David­son
Con­tained inTeX Live as log­icproof
MiKTeX as log­icproof

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

Com­mu­nity Com­ments



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


Guest Book Sitemap Contact Contact Author