Using your typing rules with an assumed Applied Lambda Calculus. Give proofs (these are very short) of the types of the previous two examples. That is, a. Given (true, 1) prove that (true, 1).fst results in a Boolean type and (true 1).snd results in a Natural Number type
b. Given Isucc 4, if false then true else false).fst, prove this results in a Natural Number type.

robert puts 2 in each row

the equation of the parallel line would be y = 2x + 9

step-by-step explanation:

to start we need to find the slope of the original line. we can do that by looking at the coefficient of x, which is 2

since the slope of the original line is 2 and parallel lines have the same slope, we know the new line will also have 2 slope. now we can use that along with the point given in point-slope form to get the find equation.

y - y1 = m(x - x1)

y - 5 = 2(x + 2)

y - 5 = 2x + 4

y = 2x + 9