## Discrete Mathematics with Applications 4th Edition

Recall the definition of necessary: "$\forall x$, r(x) is a necessary condition for s(x)" means "$\forall x$, if ~r(x) then ~s(x)."