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.