Let the domain of discourse be the real numbers (R). We define the predicate OnLine(a, b, x, y) to be true iff (x, y) lies on the line with slope a…
Let the domain of discourse be the real numbers (R). We define the predicate OnLine(a, b, x, y) to be true iff (x, y) lies on the line with slope a and intercept b (i.e. iff ax+b = y) and…