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

Ah les salauds ! Vous allez finir par me faire passer pour un affreux
jojo, moi qui suis sensible et tendre comme un agneau ;-)
-+- EJ in Guide du modérateur pervers - et la tendresse bordel ? -+-