Nuprl Basics - Proof: sfa doc predicativity sample8 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc predicativity sample8 1

1. f :

. f(n) = 0

(

. if f(n)=

False else

C:Prop. C fi)

Prop

By:

Analyze

Generated subgoals:

1 Type
Auto

2 3. n :
if f(n)=0 False else C:Prop. C fi Prop
2 steps

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

1	Type	Auto
2	3. n : if f(n)=0 False else C:Prop. C fi Prop	2 steps