Uses of Package
formula

Packages that use formula

formula

Basic classes implementing propositional and first-order logic formulas.

Classes in formula used by formula

Formula
The type of all logic formulas.

LogicalVariable
A logical variable, representing true or false (but we may not know which).

Named
The superclass of all named objects in the package.