Uses of Interface
org.episteme.core.mathematics.logic.propositional.TruthValue

Packages that use TruthValue

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

Uses of TruthValue in org.episteme.core.mathematics.logic.propositional

Subinterfaces with type arguments of type TruthValue in org.episteme.core.mathematics.logic.propositional

Modifier and Type	Interface	Description
interface	TruthValue<T>	Represents a truth value in a logical system.

Methods in org.episteme.core.mathematics.logic.propositional that return TruthValue

Modifier and Type	Method	Description
TruthValue<T>	TruthValue.and(TruthValue<T> other)	Returns the conjunction of this truth value and another.
TruthValue<T>	Proposition.evaluate()	Evaluates this proposition to determine its truth value.
TruthValue<T>	TruthValue.not()	Returns the negation of this truth value.
TruthValue<T>	TruthValue.or(TruthValue<T> other)	Returns the disjunction of this truth value and another.

Methods in org.episteme.core.mathematics.logic.propositional with parameters of type TruthValue

Modifier and Type	Method	Description
TruthValue<T>	TruthValue.and(TruthValue<T> other)	Returns the conjunction of this truth value and another.
TruthValue<T>	TruthValue.or(TruthValue<T> other)	Returns the disjunction of this truth value and another.