Can someone help me with this? its solving systems by substitution

x = 1 and y = 2

Given:
y = -3x + 5
5x - 4y = -3

Since we are given y, let’s sub it in the second equation.

5x - 4(-3x + 5) = -3
5x + 12x - 20 = -3
17x = 17
x = 1

After finding x, we can now find y.

5(1) - 4y = -3
-4y = -8
y = 2

Checking:

y = -3x + 5
2 = -3(1) + 5
2 = 2

5x - 4y = -3
5(1) - 4(2) = -3
-3 = -3

Logical equivalent of the give question is its contrapositive