# Directory `tex-archive/macros/latex/contrib/logicproof`

The `logicproof' package This package provides environments for creating Fitch-style box proofs for propositional and predicate logic. In this style, each line of the proof contains a statement and a justification, and subproofs within the larger proof are enclosed in a box. For an example of this proof style, see the manual in logicproof.pdf. This code is released under the LaTeX Project Public License. History: 2014/03/20 - First version intended for public consumption 2004/12/05 - Initial version created for personal use at school

## Files

Name | Size | Date | Notes |
---|---|---|---|

README | 543 | 2014-03-20 18:27 | |

logicproof.dtx | 24591 | 2014-03-20 17:06 | |

logicproof.ins | 1417 | 2014-03-20 17:06 | |

logicproof.pdf | 55005 | 2014-03-20 17:06 |

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

## 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.

Package Details | logicproof |

Version | 2014-03-20 |

License | The LaTeX Project Public License 1.3 |

Maintainer | Alan Davidson |

Contained in | TeX Live as logicproof |

MiKTeX as logicproof | |

Topics |
typesetting logician’s discussions |