Rechercher une page de manuel

Chercher une autre page de manuel:

formed

Langue: en

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

Section: 1 (Commandes utilisateur)

NAME

formed - formula editor for first-order logic formulas

SYNOPSIS

formed [options]

DESCRIPTION

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.

OPTIONS

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

SEE ALSO

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/energycitations/servlets/purl/6427100-WtOa4g/6427100.PDF

AUTHOR

formed ws written by William McCune <otter@mcs.anl.gov>

This manual page was written by Peter Collingbourne <pcc03@doc.ic.ac.uk>, 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
heureux.
J'espère que vous me suivez...
-+- Woody Allen -+-