Package formula

Basic classes implementing propositional and first-order logic formulas.

See:
Description

Interface Summary

Formula

The type of all logic formulas.

Class Summary

Conjunction	The conjunction ("and") of two subformulas.
Disjunction	The disjunction ("and") of two subformulas.
Environment	An environment in which to evaluate a formula.
LogicalConstant	A logical constant, representing true or false.
LogicalVariable	A logical variable, representing true or false (but we may not know which).
Named	The superclass of all named objects in the package.
Negation	The negation of a formula.

Package formula Description

Basic classes implementing propositional and first-order logic formulas.