Question

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.