Given:p: Angles XYZ and RST are vertical angles.q: Angles XYZ and RST are congruent.Which statement is logically equivalent to p → q?

A conditional statement p → q is logically equivalent to its contrapositive, not q → not p. Here, q says the angles are congruent, so not q means they are not congruent; not p means they are not vertical angles. Therefore, choice C, “If the angles are not congruent, then they are not vertical angles,” is equivalent.

AI-written and checked against the verified answer.