2. k :
3. (
p,i. if p(i)
1 else 0 fi) 
(a {k} 
)
a {k} 2
4. (
f,i. f(i)=
1) (a {k} 2)a {k}
5. p :
a
6.
size(a)(p) = k
7. x :
a
(if p(x) 1 else 0 fi=1) = p(x)
p,i. if p(i) 1 else 0 fi) (a {k} )a {k} 2
f,i. f(i)=1) (a {k} 2)a {k}
a
size(a)(p) = k
a
(if p(x) 1 else 0 fi=1) = p(x)| By: |
|
| 1 |
(1=1) = true | 1 step |
| 2 |
 p(x)
(0=1) = false | 1 step |
About:
 |  |  |  |
 |  |  |  |  |
 |