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.

Sources/macros/latex/contrib/logicproof
Documentation
Version 2014-03-20
LicensesThe Project Public License 1.3
MaintainerAlan Davidson
Contained inTeX Live as logicproof
MiKTeX as logicproof
TopicsLogic

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

Community Comments

Loading...

Announcements

Here you can see a respective diagram in newer browsers.

more

Guest Book Sitemap Contact Contact Author