logic-classes-1.5.1: Framework for propositional and first order logic, theorem proving

Safe HaskellNone
LanguageHaskell98

Data.Logic.Types.Propositional

Synopsis

Documentation

data Formula atom Source

The range of a formula is {True, False} when it has no free variables.

Constructors

Combine (Combination (Formula atom)) 
Atom atom 
T 
F 

Instances

Eq atom => Eq (Formula atom) 
Data atom => Data (Formula atom) 
Ord atom => Ord (Formula atom) 
Show (Formula (Atom Int)) 
Negatable (Formula atom) 
(Pretty atom, HasFixity atom, Ord atom) => HasFixity (Formula atom) 
(Pretty atom, HasFixity atom, Ord atom) => Pretty (Formula atom) 
Ord atom => Combinable (Formula atom) 
Constants (Formula atom) 
(Pretty atom, HasFixity atom, Ord atom) => Formula (Formula atom) atom 
(Formula (Formula atom) atom, Pretty atom, HasFixity atom, Ord atom) => PropositionalFormula (Formula atom) atom 
(Pretty atom, HasFixity atom, Ord atom) => Literal (Formula atom) atom 
Typeable (* -> *) Formula