|
|||||||||
| 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 | ||||||||