Uses of Package
org.episteme.core.mathematics.logic.predicate

Packages that use org.episteme.core.mathematics.logic.predicate

Package	Description
org.episteme.core.mathematics.logic.predicate
org.episteme.core.mathematics.logic.proof

Classes in org.episteme.core.mathematics.logic.predicate used by org.episteme.core.mathematics.logic.predicate

Class	Description
Term	Represents a term in predicate logic.

Classes in org.episteme.core.mathematics.logic.predicate used by org.episteme.core.mathematics.logic.proof

Class	Description
Formula	Represents a logical formula in First-Order Logic.