Contents
Index
logic-classes-1.5.2: Framework for propositional and first order logic, theorem proving
A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
:
!
.
<
=
?
|
All
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