## Rechercher une 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).

simple et se passe volontier d'outils.

-- Jayce - Emacs, ça sert à rien --

Contenus ©2006-2018 Benjamin Poulain

Design ©2006-2018 Maxime Vantorre