The contrapositive of `p implies q` is:

Options

A. `~| q implies ~| p`
B. `~| p implies ~| q`
C. `q implies p`
D. `p implies q`

Answer

To find the contrapositive of the statement "p implies q" (denoted as \( p \implies q \)), we can follow these steps:

### Step-by-Step Solution:

1. **Understand the implication**: The statement \( p \implies q \) can be read as "if \( p \) is true, then \( q \) is also true."

2. **Identify the contrapositive**: The contrapositive of an implication \( p \implies q \) is formed by negating both the hypothesis and the conclusion and then reversing their order. Therefore, the contrapositive is "if not \( q \), then not \( p \)."

3. **Symbolic representation**: In symbolic terms, the contrapositive can be expressed as \( \neg q \implies \neg p \), where \( \neg \) denotes negation.

4. **Conclusion**: The contrapositive of \( p \implies q \) is \( \neg q \implies \neg p \).

### Final Answer:
The contrapositive of \( p \implies q \) is \( \neg q \implies \neg p \).