Provided by: formed_3.3f-1.1_amd64 bug


       formed - formula editor for first-order logic formulas


       formed [options]


       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  constructing  formed  was  the  desire  to  have
       formulas  displayed  in  a  readable, two-dimensional format. Users of formed can make two
       kinds of transformation 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.

       -l filename
              Load formulas in the specified file during startup. Formulas  can  also  be  loaded
              after startup with the button Load in the main menu.

       -f color
              Use  the  named  color  for the foreground on color monitors (ignored on black-and-
              white monitors).

       -b color
              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


       formed ws written by William McCune <>

       This  manual  page was written by Peter Collingbourne <>, for the Debian
       project (but may be used by others).

                                        November  5, 2006                               FORMED(1)