Trait prop::Prop

source · [−]
pub trait Prop: 'static + Sized + Clone {
    fn double_neg(self) -> Dneg<Self> { ... }
    fn map_any<T>(self) -> Imply<T, Self> { ... }
    fn nnexcm() -> Not<Not<ExcM<Self>>> { ... }
}
Expand description

A proposition that might be decidable or undecidable.

Provided Methods

Get double negation rule from proof.

Maps anything into itself.

Double negated excluded middle.

Implementors