students to understand these formulae and properties in one formula. We will use conditional expressions and some basic operations for doing it. Now we are ready to construct a family of Simple-Sample Explanations.
2.1. Definition
If m is a natural number we show its successor as m+ and we show its predecessor as m-. These functions are called basic base functions. While constructing other functions we will use conditional forms in McCarthy’s way. McCarthy had formed a very different method to construct new functions from the old ones. These are also all functional since they use functions for their domains. It is a kind of a change affect to form new functions from the old ones. In McCarthy’s study The predecessor function is derived from the function successor. In this case The Successor is the base unique base function.
2.2. Definition
The functions derived from the successor and processor functions are called compact and the formula of a compact function is called a compact formula. The functions derived in this method form a strong set. Now we are ready to form new arithmetic functions using the base functions.
2.3. Definition
If m and n are naturals numbers, the summation of them is given as m+n=(if n=0→m , D→m++n-). Note that the formula has a mechanism of conditional form. This conditional form is easy to understand. Whenever you are faced with the first true proposition you get the desired result.
2.4. Example
3+2=(if 2=0→3 , D→4+1)=4+1 4+1=(if 1=0→4 , D→5+0)=5+0 5+0=(if 0=0→5 , ……….)=5 The result is 5. What you see in this example is easy to understand. All of the properties of the summation are seen in this formula. Now understanding the method you can establish the difference of two natural numbers in this manner.
2.5. Definition
If m and n are natural numbers, the difference of them is given as m-n=(if n=0→m , D→m--n- ). You can have more arithmetic operations and more functions in this way.
2.6. Definition
The functions derived using the base functions are called Simple-Sample Explanations. A group of Simple- Sample Explanations is called a family of Simple-Sample Explanations.
3. Conclusion
In this study, We have tried to explain how to construct a family of Simple-Sample Explanations. These Explanations are useful to understand a compact formula and its properties at the same time. You see all of the