Function prop::imply::rev_modus_tollens

source · [−]
pub fn rev_modus_tollens<A: DProp, B: DProp>(
    f: Imply<Not<B>, Not<A>>
) -> Imply<A, B>
Expand description

(¬b => ¬a) => (a => b).