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

Packages that use Proposition

Package	Description
org.episteme.core.mathematics.logic.modal
org.episteme.core.mathematics.logic.predicate
org.episteme.core.mathematics.logic.temporal

Uses of Proposition in org.episteme.core.mathematics.logic.modal

Methods in org.episteme.core.mathematics.logic.modal with parameters of type Proposition

Modifier and Type	Method	Description
T	ModalLogic.necessarily(Proposition<T> proposition)	Modal operator: □φ(Necessarily).
T	ModalLogic.possibly(Proposition<T> proposition)	Modal operator: ◇φ(Possibly).

Uses of Proposition in org.episteme.core.mathematics.logic.predicate

Subinterfaces of Proposition in org.episteme.core.mathematics.logic.predicate

Modifier and Type	Interface	Description
interface	Predicate<T>	Represents a predicate (relation) in predicate logic.
interface	Quantifier<T>	Represents a quantifier in predicate logic.

Methods in org.episteme.core.mathematics.logic.predicate that return Proposition

Modifier and Type	Method	Description
Proposition<T>	Quantifier.getBody()	Returns the formula (body) bound by the quantifier.

Uses of Proposition in org.episteme.core.mathematics.logic.temporal

Methods in org.episteme.core.mathematics.logic.temporal with parameters of type Proposition

Modifier and Type	Method	Description
T	TemporalLogic.always(Proposition<T> proposition)	Temporal operator: □φ(Always/Globally).
T	TemporalLogic.eventually(Proposition<T> proposition)	Temporal operator: ◇φ(Eventually/Finally).
T	TemporalLogic.next(Proposition<T> proposition)	Temporal operator: ○φ(Next).
T	TemporalLogic.until(Proposition<T> p, Proposition<T> q)	Temporal operator: φU ψ (Until).