This is the command formed that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
formed - formula editor for first-order logic formulas
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
A summary of options is included below.
Load formulas in the specified file during startup. Formulas can also be loaded
after startup with the button Load in the main menu.
Use the named color for the foreground on color monitors (ignored on black-and-
Use the named color for the background on color monitors (ignored on black-and-
Use formed online using onworks.net services