logic-classes-1.4.7: 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.Propositional 3 (Data Constructor) Data.Logic.Types.Harrison.Formulas.FirstOrder 4 (Data Constructor) Data.Logic.Instances.Chiou NumAtom Data.Logic.Harrison.DefCNF