Module prop::quantify

Expand description

Quantifiers

This module contains traits for emulating predicates with for-all (All) and there-exists (Any) quantifiers.

Compose two predicates with implication.

Wraps a proposition as a predicate.

Represents a for-all quantifier.

Implemented for predicates with an antisymmetry property.

Represents a there-exists quantifier.

Implemented for predicates with an asymmetry property.

Implemented for predicates with a connectivity property.

Implemented for predicates with an irreflexivity property.

Implemented by predicates.

Implemented for predicates with a reflexivity property.

Implemented for predicates with a strong connectivity property.

Implemented for predicates with a symmetry property.

Implemented for predicates with a transitivity property.

Apply a single argument to predicate.

Apply two arguments to predicate.