2. f :
n
3. g :
n
4.
x:. g(f(x)) = x
5.
y:n. f(g(y)) = y
6. (
x.if x=
0
n else f(x-1) fi) 
(n+1)
7. (
y.if y=n 0 else g(y)+1 fi) (n+1)
8. x :
9.
x = 0
10.
f(x-1) = n
g(f(x-1))+1 = x
n
n
x:. g(f(x)) = x
y:n. f(g(y)) = y
x.if x=0 n else f(x-1) fi) (n+1)
y.if y=n 0 else g(y)+1 fi) (n+1)
x = 0
f(x-1) = n
g(f(x-1))+1 = x | By: |
x:. g(f(x)) = x Using:[x-1] |
None
About:
 |  |  |  |  |
 |  |  |  |  |
 |