Type Definition prop::modal::Nec

source · 
pub type Nec<A> = Tauto<A>;
Expand description

□p := p^true.

A proposition is necessarily true if it is a tautology.