Nuprl Definition : termForm
termForm(f) ==
  Form_ind(f;
           FormVar(v)
⇒ tt;
           FormConst(c)
⇒ tt;
           FormSet(x,phi)
⇒ r.tt;
           FormEqual(l,r)
⇒ a,b.ff;
           FormMember(e,s)
⇒ a,b.ff;
           FormAnd(l,r)
⇒ a,b.ff;
           FormOr(l,r)
⇒ a,b.ff;
           FormNot(x)
⇒ a.ff;
           FormAll(x,b)
⇒ a.ff;
           FormExists(x,b)
⇒ a.ff) 
Definitions occuring in Statement : 
Form_ind: Form_ind, 
bfalse: ff
, 
btrue: tt
Definitions occuring in definition : 
Form_ind: Form_ind, 
btrue: tt
, 
bfalse: ff
FDL editor aliases : 
termForm
termForm
Latex:
termForm(f)  ==
    Form\_ind(f;
                      FormVar(v){}\mRightarrow{}  tt;
                      FormConst(c){}\mRightarrow{}  tt;
                      FormSet(x,phi){}\mRightarrow{}  r.tt;
                      FormEqual(l,r){}\mRightarrow{}  a,b.ff;
                      FormMember(e,s){}\mRightarrow{}  a,b.ff;
                      FormAnd(l,r){}\mRightarrow{}  a,b.ff;
                      FormOr(l,r){}\mRightarrow{}  a,b.ff;
                      FormNot(x){}\mRightarrow{}  a.ff;
                      FormAll(x,b){}\mRightarrow{}  a.ff;
                      FormExists(x,b){}\mRightarrow{}  a.ff) 
Date html generated:
2018_05_21-PM-11_26_44
Last ObjectModification:
2017_10_10-PM-05_02_36
Theory : PZF
Home
Index