Answer:
The second statement is the contrapositive of the first.
Step-by-step explanation:
We know that x → y is a conditional statement read as 'if x then q'.
The converse EXCHANGES the hypothesis and conclusion such as:
y → x
The 'contrapositive' statement basically NEGATES the converse of the conditional such as:
¬y → ¬x
Coming back towards the question,
Given
x ⇒ y
¬y ⇒ ¬x
Therefore, the second statement is the contrapositive of the first.
