Nuprl Definition : FOAssignment
An assignment assigns a member of Dom to each variable.
(Variables in mFOL() formulas are represented by integers).⋅
FOAssignment(vs,Dom) ==  {z:ℤ| (z ∈ vs)}  ⟶ Dom
Definitions occuring in Statement : 
l_member: (x ∈ l)
, 
set: {x:A| B[x]} 
, 
function: x:A ⟶ B[x]
, 
int: ℤ
Definitions occuring in definition : 
function: x:A ⟶ B[x]
, 
set: {x:A| B[x]} 
, 
l_member: (x ∈ l)
, 
int: ℤ
FDL editor aliases : 
FOAssignment
Latex:
FOAssignment(vs,Dom)  ==    \{z:\mBbbZ{}|  (z  \mmember{}  vs)\}    {}\mrightarrow{}  Dom
Date html generated:
2016_07_08-PM-05_19_14
Last ObjectModification:
2015_09_23-AM-08_22_40
Theory : minimal-first-order-logic
Home
Index