Function prop::imply::modus_tollens

pub fn modus_tollens<A: Prop, B: Prop>(f: Imply<A, B>) -> Imply<Not<B>, Not<A>>

a => b => ¬b => ¬a.

Swap sides of implication by taking their negation.