Question: ( 1 8 pt ) Using zero, one and two as well as succ, true and false provided in the lecture, answer the following questions:

(18 pt) Using zero, one and two as well as succ, true and false provided in the lecture, answer the
following questions:
Suppose we define unknown: (\lambda (x)(\lambda (y)(\lambda (z) y))) and g: (\lambda (n)((n unknown) f alse)), what is the
result of:
i.(4 pt)(g zero)
ii.(3 pt)(g one)
iii. (3 pt)(g two)
iv.(4 pt) What mathematical/logical operation is computed by g?

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!