Not able understand logic and working Post: 303023072

2 More Discussions You Might Find Interesting

1. Solaris

Cant understand the File system working nature

Hi, We have a filesystem whose usage has gone above 81%, i tried to zip some files in the sub directories but the space is not released in the main file system. > df -h Filesystem size used avail capacity Mounted on /u01/app 5.8G 4.6G 1.2G 81% ...

2. Shell Programming and Scripting

Need to understand a couple of Shell Logic

Hi, I am trying what the following loop does : for i in XYZ do for j in M1 R1 R2 R3 do if then kList="" n=1 while do kList="$kList $n" let n++ done There are a couple of loop as mentioned above for R1.R2.R3.

LEARN ABOUT DEBIAN

formed

FORMED(1)						      General Commands Manual							 FORMED(1)

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 construct-
       ing formed was the desire to have formulas displayed in a readable, two-dimensional format. Users of formed can make two kinds of transfor-
       mation  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/energyci-
       tations/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).

								 November  5, 2006							 FORMED(1)