# Chapter 3 - The Logic of Quantified Statements - Exercise Set 3.2 - Page 117: 34

a. If n is divisible by some prime number strictly between 1 and $\sqrt{n}$, then n is not prime. b. If A and B are not disjoint, then A and B have at least one element in common.

#### Work Step by Step

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).

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.