Given two lines, prove that if the slopes are the same and the y-intercepts are the same, then the lines coincide. Assume two lines do not coincide (~q). Then, either their slopes are different or their y-intercepts are different (~p). Since ~q → ~p is true, p → q must be true. Therefore, if the slopes and y-intercepts are the same, then two lines coincide.
What type of proof is illustrated above?
A.
proof by contradiction
B.
proof by contraposition
C.
proof by direct method
D.
proof by law of detachment