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

Index - N

NData.Logic.Harrison.PropExamples
Named 
1 (Data Constructor)Data.Logic.Classes.Equals
2 (Data Constructor)Data.Logic.Types.Harrison.Equal
NegData.Boolean, Data.Boolean.SatSolver
negData.Logic.Normal.Implicative
NegatableData.Logic.Classes.Negate
negateData.Logic.Harrison.Prop
negatedData.Logic.Classes.Negate
negatePrivateData.Logic.Classes.Negate
negationNormalFormData.Logic.Classes.Propositional
negative 
1 (Function)Data.Logic.Classes.Negate
2 (Function)Data.Logic.Harrison.Prop
nenfData.Logic.Harrison.Prop
newSatSolverData.Boolean.SatSolver
NFEqualData.Logic.Instances.Chiou
NFNotData.Logic.Instances.Chiou
NFPredicateData.Logic.Instances.Chiou
nnf 
1 (Function)Data.Logic.Harrison.Prop
2 (Function)Data.Logic.Harrison.Skolem
NoData.Boolean, Data.Boolean.SatSolver
NormalFunctionData.Logic.Instances.Chiou
NormalSentenceData.Logic.Instances.Chiou
NormalTData.Logic.Normal.Implicative
NormalTermData.Logic.Instances.Chiou
NormalVariableData.Logic.Instances.Chiou
Not 
1 (Data Constructor)Data.Boolean, Data.Boolean.SatSolver
2 (Data Constructor)Data.Logic.Types.Harrison.Formulas.Propositional
3 (Data Constructor)Data.Logic.Types.Harrison.Formulas.FirstOrder
4 (Data Constructor)Data.Logic.Instances.Chiou
NumAtomData.Logic.Harrison.DefCNF