Jump to letter: [
02349ABCDEFGHIJKLMNOPQRSTUVWXYZ
]
texlive-logicproof - Box proofs for propositional and predicate logic
- Description:
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.
Packages