Answered step by step
Verified Expert Solution
Question
1 Approved Answer
Check that the term ADD-2xyab.(xa)(yab) behaves like the addition function; that is, show that when we apply ADD to two Church numerals, the Church numeral
Check that the term ADD-2xyab.(xa)(yab) behaves like the addition function; that is, show that when we apply ADD to two Church numerals, the Church numeral representing their sum is obtained. Hint: Reduce the term (2x././.b.(xa)(yab)nm. Check that the term ADD-2xyab.(xa)(yab) behaves like the addition function; that is, show that when we apply ADD to two Church numerals, the Church numeral representing their sum is obtained. Hint: Reduce the term (2x././.b.(xa)(yab)nm
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started