User:FormalLogician

A => B is equivalent to ~B => ~A