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
PROGRAM:
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).
Use formed online using onworks.net services
