--- name: "formed" section: "1" platform: "linux" package: "formed" version: "3.3f-1.1" release: "Debian 8 (Jessie)" platforms: ["linux"] url: "https://new.carta.tech/formed" --- # formed(1) formula editor for first-order logic formulas ## 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)](/anldp/1.md), [**mace2**(1)](/mace2/1.md), [**otter**(1)](/otter/1.md).\ \`\`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 \ This manual page was written by Peter Collingbourne \, for the Debian project (but may be used by others).