Hierarchy For Package org.episteme.core.mathematics.logic.predicate

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.episteme.core.mathematics.logic.predicate.Formula

Interface Hierarchy

• org.episteme.core.mathematics.logic.Logic<T>
  • org.episteme.core.mathematics.logic.predicate.FirstOrderLogic<T>
• org.episteme.core.mathematics.logic.propositional.Proposition<T>
  • org.episteme.core.mathematics.logic.predicate.Predicate<T>
  • org.episteme.core.mathematics.logic.predicate.Quantifier<T>
• org.episteme.core.mathematics.logic.predicate.Term