Geometry

Question Analysis:
This question involves applying the contrapositive of a conditional statement to real-world statements.
The main focus is on understanding the logical equivalence of a conditional statement and its contrapositive.

Key Concept Explanation:
The contrapositive of p→q is ¬q→¬p, and it is logically equivalent to the original statement.
Therefore, if p→q is true and ¬q is true, then ¬p must be true.

Step-by-Step Solution:
Given p→q is true and ¬q is true (so q is false).
Recall that p→q is equivalent to ¬q→¬p.
Thus, ¬p must be true.

Option Analysis:
A) Correct. ¬p must be true.
B) Incorrect. p cannot be true.
...