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

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

Package	Description
org.episteme.core.mathematics.logic.modal
org.episteme.core.mathematics.logic.predicate
org.episteme.core.mathematics.logic.propositional	Contains fundamental propositional logic components including
org.episteme.core.mathematics.logic.temporal

Classes in org.episteme.core.mathematics.logic.propositional used by org.episteme.core.mathematics.logic.modal

Class	Description
Proposition	Represents a logical proposition.

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

Class	Description
Proposition	Represents a logical proposition.

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

Class	Description
BooleanLogic	Classical two-valued Boolean logic.
TruthValue	Represents a truth value in a logical system.

Classes in org.episteme.core.mathematics.logic.propositional used by org.episteme.core.mathematics.logic.temporal

Class	Description
Proposition	Represents a logical proposition.