Type Definition prop::modal::StrongPos

source · 
pub type StrongPos<A> = Or<Tauto<A>, Para<Uniform<A>>>;
Expand description

strong_pos(a) := p^true ⋁ false^(p^true ⋁ false^p).

This is a strong theoretical possibility which is equal to □◇p (see eq_nec_pos_strong_pos).