|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
AtomicProposition | |
Clause | A Clause is a set of Literals, implicitly disjoined. |
ClauseList | |
CompoundProposition | |
Conjunction | |
Connective | |
ConstantTerm | |
Disjunction | |
Equivalence | |
Existential | |
FalseProposition | |
Function | |
Implication | |
Literal | |
Negation | |
NegativeLiteral | |
PLConverter | Contains static methods to convert first-order to propositional logic. |
PositiveLiteral | |
Proposition | |
Quantification | |
Quantifier | |
Sentence | Represents a Sentence in first-order logic. |
Substitution | |
Symbol | |
Term | |
TermList | |
TrueProposition | |
Universal | |
Variable |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |