logic-classes-1.5.1: Framework for propositional and first order logic, theorem proving (Index - N)

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

Index - N

N	Data.Logic.Harrison.PropExamples
Named
1 (Data Constructor)	Data.Logic.Classes.Equals
2 (Data Constructor)	Data.Logic.Types.Harrison.Equal
Neg	Data.Boolean, Data.Boolean.SatSolver
neg	Data.Logic.Normal.Implicative
Negatable	Data.Logic.Classes.Negate
negate	Data.Logic.Harrison.Prop
negated	Data.Logic.Classes.Negate
negatePrivate	Data.Logic.Classes.Negate
negationNormalForm	Data.Logic.Classes.Propositional
negative
1 (Function)	Data.Logic.Classes.Negate
2 (Function)	Data.Logic.Harrison.Prop
nenf	Data.Logic.Harrison.Prop
newSatSolver	Data.Boolean.SatSolver
NFEqual	Data.Logic.Instances.Chiou
NFNot	Data.Logic.Instances.Chiou
NFPredicate	Data.Logic.Instances.Chiou
nnf
1 (Function)	Data.Logic.Harrison.Prop
2 (Function)	Data.Logic.Harrison.Skolem
No	Data.Boolean, Data.Boolean.SatSolver
NormalFunction	Data.Logic.Instances.Chiou
NormalSentence	Data.Logic.Instances.Chiou
NormalT	Data.Logic.Normal.Implicative
NormalTerm	Data.Logic.Instances.Chiou
NormalVariable	Data.Logic.Instances.Chiou
Not
1 (Data Constructor)	Data.Boolean, Data.Boolean.SatSolver
2 (Data Constructor)	Data.Logic.Types.Harrison.Formulas.FirstOrder
3 (Data Constructor)	Data.Logic.Types.Harrison.Formulas.Propositional
4 (Data Constructor)	Data.Logic.Instances.Chiou
NumAtom	Data.Logic.Harrison.DefCNF