Nuprl Definition : update-assignment
a[x := v] ==  λz.if (z =z x) then v else a z fi 
Definitions occuring in Statement : 
ifthenelse: if b then t else f fi 
, 
eq_int: (i =z j)
, 
apply: f a
, 
lambda: λx.A[x]
Definitions occuring in definition : 
lambda: λx.A[x]
, 
ifthenelse: if b then t else f fi 
, 
eq_int: (i =z j)
, 
apply: f a
FDL editor aliases : 
update-assignment
Latex:
a[x  :=  v]  ==    \mlambda{}z.if  (z  =\msubz{}  x)  then  v  else  a  z  fi 
Date html generated:
2016_05_15-PM-10_12_03
Last ObjectModification:
2015_09_23-AM-08_22_41
Theory : minimal-first-order-logic
Home
Index