Rechercher une page de manuel

Chercher une autre page de manuel:


Langue: en

Version: 264533 (debian - 07/07/09)

Section: 1 (Commandes utilisateur)


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).

Aimer c'est souffrir. Pour éviter de souffrir, on doit ne pas aimer,
mais alors on souffre de ne pas aimer.
C'est pourquoi, aimer c'est souffrir, ne pas aimer c'est souffrir et
souffrir c'est souffrir. Être heureux c'est aimer, être heureux c'est
donc souffrir mais souffrir rend malheureux. En conséquence, pour être
malheureux, on doit aimer, aimer souffrir et souffrir d'être trop
J'espère que vous me suivez...
-+- Woody Allen -+-