FORMED(1) General Commands Manual FORMED(1)
formed - formula editor for first-order logic formulas
This manual page documents briefly the formed command.
formed is a window-based program for constructing, displaying, and managing first-order logic formulas. The main motivation for construct-
ing formed was the desire to have formulas displayed in a readable, two-dimensional format. Users of formed can make two kinds of transfor-
mation on formulas: (1) logic transformations, such as negation normal form translation, which preserve the meaning of a formula, and (2)
edit transformations, which can be used to make arbitrary changes, such as adding a hypothesis to a subformula. formed was written by using
the X Window System, Version 11, and code from the theorem prover otter.
A summary of options is included below.
Load formulas in the specified file during startup. Formulas can also be loaded after startup with the button Load in the main menu.
Use the named color for the foreground on color monitors (ignored on black-and-white monitors).
Use the named color for the background on color monitors (ignored on black-and-white monitors).
anldp(1), mace2(1), otter(1).
``FormEd: An X Window System application for managing first-order formulas'' (McCune et al.), available from http://www.osti.gov/energyci-
formed ws written by William McCune <firstname.lastname@example.org>
This manual page was written by Peter Collingbourne <email@example.com>, for the Debian project (but may be used by others).
November 5, 2006 FORMED(1)