Skip to main content

Up

prop::mid

Type Alias Up 

Source 
pub type Up<A> = And<Not<Not<A>>, Not<Tauto<A>>>;
Expand description

An up proposition ¬¬a ⋀ ¬(a^true).