Man Linux: Main Page and Category List


       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


       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

       -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

                               November  5, 2006