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