## Discrete Mathematics with Applications 4th Edition

A statement of the form: $\forall x \in D$, if P(x) then Q(x), has as its contrapositive statement: $\forall x \in D$, if ~Q(x) then ~P(x), as its converse statement: $\forall x \in D$, if Q(x) then P(x), and as its inverse statement: $\forall x \in D$, if ~P(x) then ~Q(x).