Logicians’ miscellany

Help for generating truth-tables

Of the available resources, this has been recommended:

Truth Table Generator (Michael Rieppel) is a webpage containing a JavaScript program which generates full truth-tables for one or more wffs, and also the LaTeX code for them.

Laying out theorems, lemmas etc., and marking succeeding proofs:

amsthm.sty (the theorem setup of the AMS document classes amsart, amsbook, etc., in stand-alone package form, which should be in any LaTeX distribution) defines environments which are much more configurable than the basic LaTeX ‘theorem’ environment. There’s a description here.
ntheorem.sty (Wolfgang May and Andreas Schedler) is another, even more flexible, package.
The thmtools bundle (Ulrich M. Schwarz 2010, Yukai Chou 2023)) contains a number of useful packages, in particular thm-restate.sty which allows you to label a theorem and then restate it later (with the same number).
If you just need a correctly-placed end-of-proof marker, then QED.sty (Paul Taylor, 1993-2003) supplies right-justified marks.

Setting algorithms

Use algorithms.sty (Peter Williams, 1996, 2004, Rogério Brito 2005) for laying out algorithms in a standard form).

Branching quantifiers

The neatest way of setting these is suggested by Colin McClarty: use the pmatrix structure available in amsmath package, illustrated here: branching quantifiers.

Back to Frege

begriff.sty (Josh Parsons, 2003) sets Begriffsschrift-style expressions.
frege.sty (Quirin Pamp, 2012) loosely based on the begriff.sty package, and offers a number of improvements.
grundgesetze.sty (Marcus Rossberg 2016-21), commands for typesetting Gottlob Frege’s concept-script in the style of his “Grundgesetze der Arithmetik”

Counting

For word counting, TeXcount has been recommended (allows you to do things like mark bits of a document to be omitted from the word count). (Einar Andreas Rødland, 2008-18)

Links checked 8 October 2024